No TPTP formula. May not be expressible in strict first order.	Merge.kif 13610-13624	If a process is an instance of radiating sound and an agent is an agent of the process and audible is an attribute of the process, then there exist an object and a symbolic string such that the object is an instance of human and the object is capable of doing the class described by the symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	If an agreement the attribute option and a cognitive agent holds the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent has the right to perform the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13778-13790	If a positive integer is an atomic number of a kind of elemental substance, then if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom, then the positive integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22173-22182	If celebrity is an attribute of an object, then there exists an entity such that the number of instances in the class described by the entity is greater than 1000
No TPTP formula. May not be expressible in strict first order.	Communications.kif 142-151	If there are an integer communiation satellite of type a kind of satellite in a geopolitical area, then the integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21713-21728	If a positive integer is an electron number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1521-1534	If an entity is equal to WeekBeforeMenstruationFn another entity, then the other entityKBC is equal to the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 2125-2134	If there can be an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is equal to the integer
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2974-2986	If the value of everything purchased by an agent for an organization during a time interval is a currency measure, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2998-3010	If GMV an agent, an organization, a currency measure and a time interval, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30707-30727	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity, a third entity,, , a fourth entity and the time position2 such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	If an object is an instance of antibiotic, then there exist a symbolic string and an entity such that the object is capable of doing the class described by the symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4476-4484	If an entity is an instance of box, then the number of instances in the class described by a symbolic string is equal to 6
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2127-2137	If an object is an instance of passenger railcar, then there exists the objectRY such that the object is capable of doing the class described by the objectRY as a instrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1588-1590	If an entity is an instance of piggybank loan, then the number of instances in the class described by a symbolic string is equal to 2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	If a physical is an instance of protective eyewear, then the physical has the purpose if there exists the physicalRSON such that the physicalRSON is an instance of human and the physicalRSON wears the physical, then there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of process and the physical is an instrument for the other entity and the fourth entity is a subclass of the class described by the fifth entity and the other entity prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	If an object is an instance of peacekeeping unit, then the object is capable of doing the class described by a symbolic string as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4916-4921	If an entity is an instance of quadrilateral, then the number of instances in the class described by a symbolic string is equal to 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1472-1492	If a physical is an instance of shield, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of protecting and the physical is an instrument for the entity and the other entity is an instance of human and the other entity is a patient of the entity and the entity prevents the occurrence of the class described by the third 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