No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14887-14892	If a physical is an instance of historical account, then there exists another physical such that the physical expresses the other physical and the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1211-1216	If an entity is an instance of user direct action, then there exists another entity_ACTION such that the entity expresses the other entity_ACTION and the other entity_ACTION is an instance of user signified action
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2409-2414	If an entity is an instance of toy animal, then there exists another entity such that the other entity is an instance of animal and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2420-2425	If an entity is an instance of human doll, then there exists another entity such that the other entity is an instance of human and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2301-2312	If a physical is an instance of best match sort, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of Search query and the other entity is an instance of search attempt and the entity expresses the other entity and the entity is a patient of the physical and the fourth entity is an instance of agent and the third entity is a patient of the other entity and the fourth entity is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	If a content bearing physical is an instance of business requirement document, then there exist a proposition, a cognitive agent and a formula such that the proposition is an instance of plan and the cognitive agent is an instance of business and the formula is an instance of process and the proposition expresses the formula and the cognitive agent desires the formula and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2264-2269	If an entity is an instance of compass, then there exists another entity such that the other entity is an instance of directional attribute and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13130-13136	If a process is an instance of linguistic communication, then there exists an entity such that the process expresses the entity and the entity is an instance of linguistic expression and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13965-13970	If an entity is an instance of agreement, then there exists another entity such that the other entity is an instance of committing and the other entity expresses the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1736-1746	If a physical is an instance of computer protocol, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of computer program and the other entity is an instance of computer program and the third entity is an instance of data transfer and the third entity originates at the entity and the third entity ends up at the other entity and the physical expresses the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2398-2403	If an entity is an instance of doll, then there exists another entity such that the other entity is an instance of agent and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3800-3810	If a process is an instance of experimenting, then there exist a formula and an entity such that the entity is an instance of formula and the entity is a result of the process and the formula is an instance of formula and the formula is a patient of the process and the probability of the formula expresses the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3015-3021	If a physical is an instance of folder, then the physical has the purpose there exists an entity such that the entity is an instance of computer directory and the physical expresses the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2544-2552	If an object is an instance of dock, then there exist another object, a computer process and a computer program such that the computer program is an instance of computer program and the computer program is a program running of the computer process and the other object is an instance of icon and the other object expresses the computer process and the other object is inside to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25876-25881	If an entity is an instance of videogame, then there exists another entity such that the other entity is an instance of video recording and the other entity expresses the entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 536-541	If an entity is an instance of across variable accumulator, then there exists another entity such that the other entity is an instance of capacitor element and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 836-841	If an entity is an instance of dissipator, then there exists another entity such that the other entity is an instance of resistor element and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 543-548	If an entity is an instance of electrical twopole, then there exists another entity such that the other entity is an instance of capacitor element and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 561-566	If an entity is an instance of electrical twopole, then there exists another entity such that the other entity is an instance of inductor element and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 843-848	If an entity is an instance of electrical twopole, then there exists another entity such that the other entity is an instance of resistor element and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13288-13293	If an entity is an instance of map, then there exists another entity such that the other entity is an instance of geographic area and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 554-559	If an entity is an instance of through variable accumulator, then there exists another entity such that the other entity is an instance of inductor element and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	engineering.kif 592-597	If an entity is an instance of twoport, then there exists another entity such that the other entity is an instance of transducer and the entity expresses the other entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 25-30	If an entity is an instance of military operation, then there exists another entity such that the other entity is an instance of plan and the other entity expresses the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1311-1314	If an entity is an instance of content bearing physical, then there exists another entity such that the entity expresses the other entity
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