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
No TPTP formula. May not be expressible in strict first order. Merge.kif 9350-9356
No TPTP formula. May not be expressible in strict first order. Merge.kif 9341-9348
No TPTP formula. May not be expressible in strict first order. Merge.kif 9358-9363
No TPTP formula. May not be expressible in strict first order. Geography.kif 5842-5847
No TPTP formula. May not be expressible in strict first order. Merge.kif 9382-9384
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. Merge.kif 9327-9330

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 9350-9356
No TPTP formula. May not be expressible in strict first order. Merge.kif 9341-9348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14672-14679
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. 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. Geography.kif 4101-4104
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1702-1710
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. FinancialOntology.kif 3603-3608
No TPTP formula. May not be expressible in strict first order. Cars.kif 1016-1034
No TPTP formula. May not be expressible in strict first order. Geography.kif 5835-5840


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