hole - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - hole

hole

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2855-2856
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9299-9300
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9296-9296	The number 1 argument of hole is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9297-9297	The number 2 argument of hole is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9295-9295	hole is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9293-9293	hole is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9294-9294	hole is an instance of spatial relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 377-377
No TPTP formula. May not be expressible in strict first order.	english_format.kif 381-381
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 378-378

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9332-9339	If a hole is a hole in a self connected object and the hole is a hole in another self connected object, then there exists a third self connected object such that the third self connected object is a proper part of the intersection of the parts of the self connected object and the other self connected object and the hole is a hole in the third self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9356	If a hole is a hole in a self connected object and the self connected object is a part of another self connected object, then the hole and the other self connected object is overlapsSpatially or the hole is a hole in the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9341-9348	If a hole is a hole in a self connected object and another hole is a hole in the self connected object, then for all a third hole if the third hole is a part of the union of the parts of the hole and the other hole, then the third hole is a hole in the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9358-9363	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and the hole and the other hole is overlapsSpatially, then the self connected object and the other self connected object is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5842-5847	If a self connected object is an instance of cave matrix and a hole is an instance of cave and the hole is a hole in the self connected object, then the self connected object is equal to the surface of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9382-9384	If a hole is a hole in a self connected object, then the hole is connected to the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9322-9325	If a hole is a hole in a self connected object, then the self connected object is not an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9327-9330	If a hole is a hole in a self connected object, then the hole and the self connected object is not overlapsSpatially

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 955-960	A self connected object contains an object if and only if there exists a hole such that the hole is a hole in the self connected object and the object properly fills the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9317-9320	A hole is an instance of hole if and only if there exists a self connected object such that the hole is a hole in the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9332-9339	If a hole is a hole in a self connected object and the hole is a hole in another self connected object, then there exists a third self connected object such that the third self connected object is a proper part of the intersection of the parts of the self connected object and the other self connected object and the hole is a hole in the third self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9356	If a hole is a hole in a self connected object and the self connected object is a part of another self connected object, then the hole and the other self connected object is overlapsSpatially or the hole is a hole in the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9341-9348	If a hole is a hole in a self connected object and another hole is a hole in the self connected object, then for all a third hole if the third hole is a part of the union of the parts of the hole and the other hole, then the third hole is a hole in the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14672-14679	If a process is an instance of drilling and an entity is a patient of the process, then there exists another entity such that the other entity is not a hole in the entity holds during the beginning of the time of existence of the process and the other entity is a hole in the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1048-1063	If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking, then there exist a self connected object and a third time interval such that the self connected object is an instance of Cask and a hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1565-1572	If container empty is an attribute of a self connected object, then there don't exist a hole and an object such that the hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1583-1589	If container full is an attribute of a self connected object, then there exist a hole and an object such that the hole is an instance of hole and the hole is a hole in the self connected object and the object fills the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4101-4104	If a self connected object is an instance of canyon, then there exists a hole such that the hole is a hole in the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1702-1710	If a process is an instance of the operating of internal combustion engine, then there exist a self connected object, a hole and an object such that the self connected object is an instance of internal combustion engine and the self connected object is an instrument for the process and the hole is a hole in the self connected object and the object is an instance of combustion and the object completely fills the hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4898-4918	If a self connected object is an instance of sandal, then there exist a hole and another hole such that the hole is an instance of hole and the hole is a hole in the self connected object and the other hole is an instance of hole and the other hole is a hole in the self connected object and the hole is not equal to the other hole and the hole has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of dressing and the other entity is an instance of foot and the third entity is an agent of the entity and the other entity is a part of the third entity and the fourth entity is a subprocess of the entity and the fourth entity is an instance of inserting and the other entity is a patient of the fourth entity and the fourth entity ends up at the hole
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3603-3608	If a hole is an instance of ATM slot, then there exists a self connected object such that the self connected object is an instance of ATM machine and the hole is a hole in the self connected object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1016-1034	If a physical is an instance of FuelCapLock, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the other entity is a hole in the entity and the physical is connected to the other entity and locked is an attribute of the physical holds during a third entity decreases likelihood of there exist a fourth entity and a fifth entity such that the fourth entity is an instance of stealing and the fifth entity is an instance of fuel and the fifth entity is located at the entity and the fifth entity is a patient of the fourth entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5835-5840	If a hole is an instance of cave, then there exists a self connected object such that the self connected object is an instance of cave matrix and the hole is a hole in the self connected object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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