No TPTP formula. May not be expressible in strict first order.	Merge.kif 4472-4474	If an agent uses an entity to stand for another entity, then the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2453-2459	If a Search query is a rewrite of another Search query, then there exists an entity such that the entity is an instance of search attempt and the Search query expresses the entity and the other Search query expresses the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	If a database is the catalog for a web site, then there exist an object, a collection and a symbolic string such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all another object if the other object is a member of the collection, then the other object is an instance of physical and the other object is capable of doing the class described by the symbolic string as a patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1335-1342	If an entity is a sub-brand of another entity, then there exist a collection and a physical such that the collection is an instance of collection and the other entity expresses the collection and the physical is a member of the collection and the entity expresses the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2173-2191	If a database is the user database for a web site, then there exist an object and a collection such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of agent and there exist a process and a corpuscular object such that the process is an instance of accessing web page and the corpuscular object is an instance of web page and page is a patient of the process and agent is an agent of the process and the corpuscular object is a component of the web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1209-1216	If an agent is a visitor to a web site, then there exist an identifier and a web browser such that the identifier is an instance of identifier and the web browser is an instance of web browser and the identifier is the ID of the web browser when accessing the web site and the identifier expresses the agent

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