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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Below
Below(below)
more pictures...
at_a_lower_place, below, belowground, beneath, down, fourth_deck, infra, lower, lower_berth, lower_deck, lowered, nether, orlop, orlop_deck, submarine, submerged, submersed, subocean, suboceanic, thereunder, third_deck, to_a_lower_place, under, under_it, under_that, underlie, underlying, underneath, undersea, underwater

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3819-3821
No TPTP formula. May not be expressible in strict first order. Merge.kif 17086-17089
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10513-10513
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10511-10511
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10514-10514
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10508-10508
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10515-10515
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9906-9906
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10510-10510
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10512-10512
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10509-10509
No TPTP formula. May not be expressible in strict first order. Merge.kif 17085-17085 Below is an instance of anti-symmetric positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17084-17084 Below is an instance of positional attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17073-17073 Above is the opposite of below
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10703-10703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10702-10702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10701-10701
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 534-534

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17091-17095 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
No TPTP formula. May not be expressible in strict first order. Geography.kif 3999-4010

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12930-12941
No TPTP formula. May not be expressible in strict first order. Merge.kif 11587-11592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. Merge.kif 9730-9735
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1157-1165
No TPTP formula. May not be expressible in strict first order. Merge.kif 7736-7738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15411-15420
No TPTP formula. May not be expressible in strict first order. Geography.kif 6072-6079
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17678-17683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26902-26911
No TPTP formula. May not be expressible in strict first order. Transportation.kif 328-333
No TPTP formula. May not be expressible in strict first order. Geography.kif 3991-3997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19237-19248


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