Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hole
Hole(hole)
Aristarchus, Carlsbad_Caverns, Copernicus, Ranvier's_nodes, air-intake, air_hole, air_horn, air_shaft, air_well, amniotic_cavity, aortic_orifice, aperture, armhole, barbecue_pit, bell, birth_canal, blank, blankness, blowhole, bolt-hole, bore, bore-hole, borrow_pit, breach, bullet_hole, bunghole, bursa_omentalis, button_hole, buttonhole, caldera, canalis_cervicis_uteri, canalis_vertebralis, cavern, cavity, cervical_canal, channel, chap, chasm, chest_cavity, chink, chuckhole, cleft, costal_groove, countersink, cove, crack, cranial_cavity, crannied, cranny, crater...

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 9304-9315
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 9302-9302 Hole is a subclass of region

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4488-4488 South sandwich trench is an instance of hole
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3600-3600 ATM slot is a subclass of hole
No TPTP formula. May not be expressible in strict first order. Geography.kif 5809-5809 Burrow is a subclass of hole
No TPTP formula. May not be expressible in strict first order. Geography.kif 5794-5794 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. Sports.kif 810-810 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. chinese_format.kif 944-944
No TPTP formula. May not be expressible in strict first order. english_format.kif 1100-1100

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9374-9374 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 9524-9524 The number 1 argument of hole skin is an instance of hole
No TPTP formula. May not be expressible in strict first order. Merge.kif 9480-9480 The number 2 argument of fills is an instance of hole
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 9420-9420 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 9439-9439 The number 2 argument of properly fills is an instance of hole

antecedent
-------------------------


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. Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. Merge.kif 9386-9394
No TPTP formula. May not be expressible in strict first order. Merge.kif 9365-9368

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9409-9414 Fillable is an attribute of an object if and only if 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. Food.kif 1048-1063
No TPTP formula. May not be expressible in strict first order. Food.kif 733-746
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1565-1572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1583-1589
No TPTP formula. May not be expressible in strict first order. Cars.kif 4433-4438
No TPTP formula. May not be expressible in strict first order. Merge.kif 9322-9325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22181-22188
No TPTP formula. May not be expressible in strict first order. Sports.kif 977-990
No TPTP formula. May not be expressible in strict first order. Cars.kif 1714-1719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14686-14694
No TPTP formula. May not be expressible in strict first order. Cars.kif 2857-2886
No TPTP formula. May not be expressible in strict first order. Cars.kif 1620-1629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4898-4918
No TPTP formula. May not be expressible in strict first order. Cars.kif 4264-4271
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4178-4183
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22124-22130


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