No TPTP formula. May not be expressible in strict first order.	Music.kif 727-734	If hip hop music is an attribute of an object, then the statement there exist an entity and another entity such that the object is a record of the entity and the other entity is an instance of speaking and the other entity is a subprocess of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 741-746	If indie music is an attribute of an object, then the statement there doesn't exist an entity such that the entity produces the object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15139-15149	If translucent is an attribute of an object, then the statement there don't exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the third entity and the other entity is between the object and the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27163-27166	If communal is an attribute of an object, then the statement private attribute is not an attribute of the object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27158-27161	If private attribute is an attribute of an object, then the statement communal is not an attribute of the object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 750-758	If an identifier is the ID of a web browser when accessing a web site, then the statement there doesn't exist the web browser2 such that the web browser2 is an instance of web browser and the identifier is the ID of the web browser2 when accessing the web site has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	If an agent is a day phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 6 and the real number is less than 18 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	If an agent is an evening phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 18 and the real number is less than 6 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30376-30383	If a kind of organism inhabits a geographic area, then the statement there exists a kind of organismI such that the kind of organismI is an instance of the kind of organism and the kind of organismI lives in the geographic area has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26663-26671	If a group has uniform a kind of uniform, then the statement there exist an entity, another entity and a third entity such that the entity is a member of the group and the other entity is an instance of a kind of uniform and the entity wears the other entity holds during the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3629-3642	If maximum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3657-3670	If maximum device storage temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	If minimum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	If minimum device storagqqqe temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1244-1253	If anger is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of angry facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1262-1271	If disgust is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of disgusted facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1025-1036	If angst is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes the statement there exists an entity such that the cognitive agent doesn't want the entity and the time position happens before the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1344-1353	If angst is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of fearful facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1226-1235	If happiness is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of happy facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1325-1334	If sadness is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of sad facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1281-1290	If surprise is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of surprised facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1645-1656	If impaired body part fn myringa is an attribute of an entity holds during a time position, then the statement there doesn't exist the entityEAR such that the entityEAR is an instance of hearing and the time of existence of the entityEAR takes place during the time position and the entity experiences the entityEAR has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11040-11049	If bed ridden is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of bed and the entity is located at the other entity has the modal force of likely holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2798-2807	If Covid is an attribute of an entity holds during a time position, then the statement another entity is an instance of COVID antibody and the other entity is a part of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6394-6401	If depressed is an attribute of an entity holds during a time position, then the statement happiness is not an attribute of the entity holds during the time position has the modal force of likely
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