No TPTP formula. May not be expressible in strict first order.	Music.kif 53-58	If a list is an instance of album, then for all an entity if the entity is a member of the list, then the entity is an instance of recording
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2035-2053	If a process is an instance of shuttle, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of postal place and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 1149-1154	If a list is an instance of album chart, then there exists an entity such that the entity is an instance of album and the entity is a member of the list
No TPTP formula. May not be expressible in strict first order.	Music.kif 1125-1130	If an entity is an instance of music charts, then there exist a process and another entity such that the process is an instance of selecting and the other entity is a member of the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Music.kif 1137-1142	If a list is an instance of singles chart, then there exists an entity such that the entity is an instance of music recording and the entity is a member of the list
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2331-2336	If a web listing results from searching for a search attempt, then there exists the web listingS such that the web listingS is an instance of search results and the web listing is a member of the web listingS

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