No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC
No TPTP formula. May not be expressible in strict first order.	Food.kif 1731-1746	If a collection is an instance of meal and a physical is a member of the collection and the physical is an instance of coffee or the physical is an instance of tea and another physical is a member of the collection and the other physical is an instance of juice and a third physical is a member of the collection and the third physical is an instance of bread or biscuit and the third physical is a member of the collection and the third physical is an instance of butter and the other physicalA is a member of the collection and the other physicalA is an instance of jam, then continental breakfast is an attribute of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7794-7798	If a collection is an instance of shopping mall and a physical is a member of the collection, then the physical is an instance of retail store
No TPTP formula. May not be expressible in strict first order.	Military.kif 102-106	If a collection is an instance of military convoy and a physical is a member of the collection, then the physical is an instance of military vehicle
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	If a process is an instance of BarMitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	If a process is an instance of BatMitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 1807-1817	If a process is an instance of singing and an agent is an agent of the process and the agent is an instance of choir and another agent is a member of the agent holds during the process, then there exists another process such that the other process is an instance of singing and the other process is a subprocess of the process and the other agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	If a process is an instance of Ordaining and a physical is a patient of the process and the physical is an instance of human and the physical is a member of christianity, then the process has the purpose there exist an entity and another entity such that the entity is an instance of ceremony and the other entity is an instance of appointing and the other entity is a subprocess of the entity and the physical is a patient of the other entity and appointedPosition the other entity, the physical and cleric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22469-22474	If an entity is an instance of military organization and another entity is a member of the entity holds during a time position and the other entity is an instance of human, then military person is an attribute of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16653-16657	If a collection is an instance of organization and a physical is a member of the collection, then the physical is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2531-2535	If a collection is an instance of organization of nations and a physical is a member of the collection, then the physical is an instance of nation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2263-2269	If a collection is an instance of communist party and a cognitive agent is a member of the collection and an entity is an instance of geopolitical area, then the cognitive agent desires communist state is a government type of the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1134-1138	If a collection is an instance of visitor profile and a physical is a member of the collection, then the physical is an instance of formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of buying and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_PURCHASE_AMOUNT and the value of the collection is equal to the other entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of selling and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then there exist a symbolic string, an entity and another entity_SALE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_SALE_AMOUNT and the value of the collection is equal to the other entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and the real number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average selling price of the collection is equal to the real number and the integer
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1157-1166	If an agent is an instance of ship and a geopolitical area is an instance of geopolitical area and the agent is a member of the merchant marine of the geopolitical area, then there exists an object such that the object is an instance of ship registration and the agent possesses the object and the ship register of the geopolitical area subsumes the content of the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2141-2145	If a collection is an instance of web store and a physical is a member of the collection, then the physical is an instance of web page
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5305-5313	If a collection is an instance of clothing suit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4495-4499	If a collection is an instance of multivariate test and a physical is a member of the collection, then the physical is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2151-2155	If a collection is an instance of terrorist organization and an object is a member of the collection, then terrorist is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22997-23005	If an entity is an instance of social unit and the entity is a member of another entity and the entity is a member of a third entity holds during a time position, then the third entity is a cohabitant of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11498-11507	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and a collection is an instance of skull and healthy is an attribute of the object and a third object is a member of the collection and the third object is a part of the object, then the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4241-4267	If a human is an instance of human and a collection is an instance of collection and for all an experimenting and a physical if there exists a kind of process such that the experimenting is an instance of experimenting and the physical is an instance of process and the physical is a member of events in the experimenting and the physical is an instance of a kind of process and the human is capable of doing the kind of process as a experiencer, then the physical is a member of the collection and if another physical is a member of the collection, then the other physical is an instance of process and there exist another experimenting and the other physicalESS such that the other experimenting is an instance of experimenting and the other physical is a member of events in the other experimenting and the other physical is an instance of the other physicalESS and the human is capable of doing the other physicalESS as a experiencer , then all the processes the human is qualified for is equal to the collection
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