electrical contacts in the camera read the bit pattern several ontology languages support expressions in first order logic and allow general predicates ngafatanya n'abandi kubaka u rwanda