No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5326-5340	If hypersalivation is an attribute of an entity holds during a time position, then the statement there exists another entity such that the entity experiences the other entity and the time of existence of the other entity takes place during the time position and the other entity is an instance of spitting or the other entity is an instance of drooling or the other entity is an instance of nausea has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 418-423	If an entity is an instance of cell, then the statement the entity cells are shaped like a sphere or the entity cells are shaped like a cylinder has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6302-6312	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15927-15934	If an entity is an instance of clothing, then the statement there exists another entity such that the other entity is an instance of fabric and the other entity is a part of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	If an entity is an instance of vaccinatable disease, then there exist another entity, a third entity and a process such that the other entity is an instance of vaccine and the process is an instance of putting and the process ends up at the third entity and the third entity is an instance of human and the statement the entity is not an attribute of the third entity holds during after the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2799-2811	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3122-3129	If an entity is an instance of drug store, then the statement there exists another entity such that pharmacist is an attribute of the other entity and the entity employs the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5285-5294	If an entity is an instance of faecalibacterium prausnitzii, then the statement there exist another entity and a third entity such that the other entity is an instance of human and the third entity is an instance of GI and the third entity is a part of the other entity and the entity is located at the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8187-8193	If an entity is an instance of residential garden, then the statement there exists another entity such that the other entity is an instance of fence and the entity is surrounded to the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4416-4423	If an entity is an instance of intestinimonas, then the statement there exists the entityN such that the entityN is an instance of intestine and the entity is located at the entityN has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5893-5903	If an entity is an instance of parasite, then the statement there exist another entity and the entityROC such that the entity is located at the other entity and the entity is an involved in event of the entityROC and the other entity is an involved in event of the entityROC and the entity is a beneficiary of the entityROC and the other entity suffers from the entityROC has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6286-6293	If an entity is an instance of succulent, then the statement there exists another entity such that the other entity is an instance of drought and the entity experiences the other entity and living is an attribute of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3574-3582	If an entity is an instance of paper, then the statement the entity has the purpose there exists another entity such that the other entity is an instance of text and the other entity is a part of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8115-8121	If an entity is an instance of park, then the statement there exists another entity such that the other entity is an instance of garden and the other entity is located at the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25758-25768	If an entity is an instance of camper, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of bed and the third entity is an instance of dining area and the fourth entity is an instance of kitchen area and the other entity is located at the entity and the third entity is located at the entity and the fourth entity is located at the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2889-2899	If a physical is an instance of storm, then the statement there exist an entity and another entity such that the entity is an instance of precipitation and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical has the modal force of likely holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Food.kif 285-289	If an entity is an instance of tap water, then the statement the entity is an instance of food for human has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1670-1676	If an entity is an instance of business center, then the statement there exists another entity such that the other entity is an instance of computer and the other entity is located at the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1678-1684	If an entity is an instance of business center, then the statement there exists another entity such that the other entity is an instance of internet connection and the other entity is located at the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26483-26489	If an entity is an instance of grab bar, then the statement there exists another entity such that physical disability is an attribute of the other entity and the other entity is interested in the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26643-26653	If an object is an instance of lanai, then there exists another object such that the other object is an instance of roof and the other object is a part of the object and the statement there exists an entity such that the entity is an instance of sitting area and the entity is located at the object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26627-26636	If an object is an instance of patio, then the statement paved is an attribute of the object has the modal force of likely and there exists another object such that the other object is an instance of building and the object is adjacent to the other object and the object is located at outdoors
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26989-26995	If an entity is an instance of security unit, then the statement there exists another entity such that the other entity is an instance of surveillance system and the entity is interested in the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2824-2830	If an entity is an instance of travel reservation, then the statement there exists another entity such that the other entity is an instance of flight reservation and the other entity is a sub-proposition of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 419-428	If a cognitive agent sells a kind of entity for a currency measure, then the statement if another entity is an instance of selling and a third entity is an immediate instance of a kind of entity and the third entity is a patient of the other entity and the cognitive agent is an agent of the other entity, then the currency measure is a transaction amount of the other entity 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