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 1007-1008
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1599-1600
No TPTP formula. May not be expressible in strict first order. Merge.kif 1004-1004 The number 1 argument of hole is an instance of hole
No TPTP formula. May not be expressible in strict first order. Merge.kif 1005-1005 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 1003-1003 hole is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1001-1001 hole is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1002-1002 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 378-378
No TPTP formula. May not be expressible in strict first order. french_format.kif 217-217
No TPTP formula. May not be expressible in strict first order. relations-it.txt 132-132
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2023-2023
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 169-169
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 224-224
No TPTP formula. May not be expressible in strict first order. relations-de.txt 504-504
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 62-62
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 237-237
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 234-234
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 270-270
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 378-378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65860-65860
No TPTP formula. May not be expressible in strict first order. terms-de.txt 157-157
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 271-271

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10023-10030
No TPTP formula. May not be expressible in strict first order. Merge.kif 10041-10047
No TPTP formula. May not be expressible in strict first order. Merge.kif 1045-1049
No TPTP formula. May not be expressible in strict first order. Merge.kif 10032-10039
No TPTP formula. May not be expressible in strict first order. Merge.kif 10049-10054
No TPTP formula. May not be expressible in strict first order. Geography.kif 6330-6335
No TPTP formula. May not be expressible in strict first order. Merge.kif 10073-10075
No TPTP formula. May not be expressible in strict first order. Merge.kif 10009-10011
No TPTP formula. May not be expressible in strict first order. Merge.kif 10013-10016
No TPTP formula. May not be expressible in strict first order. Merge.kif 10018-10021

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10023-10030
No TPTP formula. May not be expressible in strict first order. Merge.kif 10041-10047
No TPTP formula. May not be expressible in strict first order. Merge.kif 10032-10039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19670-19677
No TPTP formula. May not be expressible in strict first order. Food.kif 3624-3639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2091-2098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2109-2115
No TPTP formula. May not be expressible in strict first order. Merge.kif 1038-1043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1392-1399
No TPTP formula. May not be expressible in strict first order. Geography.kif 4470-4473
No TPTP formula. May not be expressible in strict first order. Merge.kif 10004-10007
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4962-4967
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2228-2236
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6149-6169
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3680-3685
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 6323-6328


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