TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2857-2862
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9889-9900
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1601-1609
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 500-500
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9887-9887	Hole is a subclass of region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4691-4691	South sandwich trench is an instance of hole
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3659-3659	ATM slot is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12074-12074	Body orifice is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6027-6027	Burrow is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6012-6012	Cave is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 324-324	Crankcase is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6136-6136	Glottis is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Sports.kif 959-959	Golf hole is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 311-311	Internal combustion chamber is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12148-12148	Pupil is a subclass of hole
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 944-944
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.	french_format.kif 620-620
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 154-154
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 572-572
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 156-156
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 188-188
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 155-155

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9963-9963	The number 1 argument of hole host is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10104-10104	The number 1 argument of hole skin is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1538-1538	The number 1 argument of cylinder bore is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10060-10060	The number 2 argument of fills is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 994-994	The number 1 argument of hole is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10014-10014	The number 2 argument of partially fills is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1003-1003	The number 2 argument of properly fills is an instance of hole

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is circle, then the diameter of the object is the length measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9975-9983	If an object is an instance of hole and another object is a proper part of the object, then there exists a third object such that the object meets the third object and the other object doesn't meet the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10004-10008	If an object is an instance of hole and another object is a part of the object, then fillable is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9902-9905	If a hole is an instance of hole, then 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 9954-9957	If an object is an instance of hole, then there exists another object such that the other object is a proper part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of hole and a third entity is equal to the host of the hole the other entity and the third entity is an instance of throat and the third entity is a part of 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 3617-3632	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, a third time interval and a hole such that the self connected object is an instance of cask and 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 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.	Food.kif 2763-2776	If an object is an instance of penne and there doesn't exist another object such that the other object is an instance of penne and the other object is a part of the object, then there exists a third object such that the third object is an instance of hole and the object is a part of the third object and fillable is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1621-1628	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 1639-1645	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.	Merge.kif 9997-10002	If fillable is an attribute of an object, then there exists another object such that the other object is an instance of hole and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4402-4407	If ring torus is an attribute of an object, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9907-9909	If a hole is a hole in a self connected object, then the hole is an instance of hole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9911-9914	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.	Mid-level-ontology.kif 26001-26008	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection has the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1706-1711	If an object is an instance of combustion chamber, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	If a physical is an instance of chest seal, then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and the entityH is equal to the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18140-18148	If a physical is an instance of drill, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of cutting and the other entity is an instance of hole and the other entity is a result of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2826-2855	If a physical is an instance of gasket, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there don't exist a third entity, a fourth entity,, , a fifth entity and a sixth entity such that the third entity is an instance of hole and the physical is equal to the host of the hole the third entity and the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1611-1621	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and the hole is cylinder and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4512-4517	If a self connected object is an instance of porous container, then there exists a hole such that the hole is an instance of hole and 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 5206-5226	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.	Mid-level-ontology.kif 9451-9458	If an object is an instance of ulcer, then there exist a hole and another object such that the hole is an instance of hole and the other object is an instance of body part and the other object is equal to the host of the hole the hole and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4233-4240	If a physical is an instance of vacuum hose, then the physical has the purpose there exists an entity such that the entity is an instance of hole and the physical is equal to the host of the hole the entity and partial vacuum is an attribute of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4300-4305	If an object is an instance of washer, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25944-25950	If an object is an instance of electrical outlet, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the object

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

Show without tree

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

KB Term:			Term intersection

English Word: