No TPTP formula. May not be expressible in strict first order.	Law.kif 400-415	If a cognitive agent trusts an agent, then the cognitive agent believes if there exist an entity, another entity and a kind of intentional process such that the entity is an instance of stating and the entity contains the formula the other entity is an instance of a kind of intentional process and the agent is an agent of the other entity, then the statement the other entity is an instance of the kind of intentional process and the agent is an agent of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1112-1120	If the ID for an user account is an identifier, then the statement there doesn't exist the user account2 such that the user account2 is an instance of user account and the ID for the user account2 is the identifier has the modal force of likely

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners