No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3150-3155	If an entity is an instance of portrait, then there exists another entity such that the other entity is an instance of face and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13233-13239	If a physical is an instance of blueprint, then the physical has the purpose there exists an entity such that the entity is an instance of artifact and the physical expresses the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1821-1826	If an entity is an instance of OPLAN, then there exists another entity such that the entity expresses the other entity and the other entity is an instance of joint operation
No TPTP formula. May not be expressible in strict first order.	Media.kif 1209-1223	If a physical is an instance of cd player, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the physical is an instrument for the fifth entity and the entity is a patient of the fifth entity and the entity is an instance of compact disc and the other entity is an instance of audio recording and the fourth entity expresses the other entity and the fourth entity is a part of the entity and the third entity is an instance of radiating sound and the third entity is a subprocess of the fifth entity and the physical is an instrument for the third entity and the entity is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15872-15877	If an entity is an instance of representational art work, then there exists another entity such that the other entity is an instance of physical and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1607-1613	If an entity is an instance of screenshot, then there exist a time position, another entity and a third entity such that the other entity is displayed on the third entity holds during the time position and the other entity expresses the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2349-2354	If an entity is an instance of search attempt, then there exists another entity such that the other entity is an instance of Search query and the other entity expresses the entity
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1217-1222	If an entity_ACTION is an instance of user signified action, then there exists another entity_ACTION such that the other entity_ACTION expresses the entity_ACTION and the other entity_ACTION is an instance of user direct action
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	If a process is an instance of room service, then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that the agent is a customer of the cognitive agent and the agent is an agent of the process and the other process is an instance of requesting and the cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 562-570	If an entity is an instance of process state, then there exists a computer program such that the computer program is an instance of computer program and for all a computer process if the computer program is a program running of the computer process, then the entity expresses the computer process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2511-2517	If an entity is an instance of search term, then there exist an object and another object such that the object is an instance of Search query and the other object is a part of the object and the other object expresses the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 240-248	If a physical is an instance of birth certificate, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of birth and the other entity is an instance of human and the other entity experiences the entity and the physical expresses the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 270-278	If a physical is an instance of DeathCertificate, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of death and the other entity is an instance of human and the other entity experiences the entity and the physical expresses the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 319-335	If an entity is an instance of MarriageCertificate, then there exist a process, another process,, , an agent and another agent such that the process is an instance of signing an agreement and the entity is a patient of the process and the other process is an instance of wedding and the entity expresses the other process and the process is a subprocess of the other process and the agent is a patient of the other process and the agent is an instance of human and the other agent is a patient of the other process and the other agent is an instance of human and the agent is not equal to the other agent and the agent is an agent of the process and the other agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2431-2436	If an entity is an instance of toy house, then there exists another entity such that the other entity is an instance of house and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	If a content bearing physical is an instance of test protocol specification, then there exist a proposition, a process and another process such that the proposition is an instance of plan and the process is an instance of experimenting and the other process is an instance of process and the proposition expresses the other process and the process is a subprocess of the other process and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1695-1700	If an entity is an instance of uniform resource locator, then there exists another entity such that the other entity is an instance of IP address and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1387-1407	If a physical is an instance of vcr system, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the entity is an instance of VHS cassette and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is an instance of video recording and the fourth entity expresses the third entity and the third entity is a part of the entity and the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the fourth entity and the sixth entity is a part of the entity and the fifth entity is an instance of radiating light and the third entity is a patient of the fifth entity and the fifth entity is a subprocess of the other entity and the eighth entity is an instance of radiating sound and the sixth entity is a patient of the eighth entity and the eighth entity is a subprocess of the other entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 943-948	If an entity is an instance of view, then there exists another entity such that the other entity is an instance of physical and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14306-14312	If an object is an instance of audio recording, then there exists an entity such that the entity is an instance of radiating sound and the object expresses the entity and the object is capable of doing radiating sound as a patient
No TPTP formula. May not be expressible in strict first order.	Media.kif 1275-1301	If a physical is an instance of dvd player, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of DVD and the physical is an instrument for the other entity and the entity is a patient of the other entity and there exist a third entity, a fourth entity and a fifth entity such that the third entity is an instance of video recording and the fourth entity expresses the third entity and the fourth entity is a part of the entity and the fifth entity is an instance of radiating light and the fifth entity is a subprocess of the other entity and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity or there exist a sixth entity, a seventh entity and a eighth entity such that the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the entity and the eighth entity is an instance of radiating sound and the eighth entity is a subprocess of the other entity and the physical is an instrument for the eighth entity and the sixth entity is a patient of the eighth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26695-26701	If an entity is an instance of uniform, then there exist a process and another entity such that the process is an instance of intentional process and the other entity is a result of the process and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14433-14439	If an object is an instance of video recording, then there exists an entity such that the entity is an instance of process and the object expresses the entity and the object is capable of doing radiating light as a patient
No TPTP formula. May not be expressible in strict first order.	Music.kif 1457-1470	If a proposition was first expressed as a language, then there exist a linguistic expression and a time interval such that the linguistic expression is an instance of linguistic expression and the linguistic expression represents the proposition in the language the language and the time interval is equal to the time of existence of the linguistic expression and there don't exist another time interval and a physical such that the physical is an instance of linguistic expression and the physical expresses the proposition and the other time interval is equal to the time of existence of the physical and the other time interval happens before the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 865-871	If an agent is a registered user of a web site, then there exist a database and an object such that the database is the user database for the web site and the object is a part of the database and the object expresses the agent
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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