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

Formal Language: 



KB Term:  Term intersection
English Word: 

  On

Sigma KEE - On
On(on)
aboveground, ahorse, ahorseback, cap, capped, crest, crowned, grade-constructed, horseback, overlying, superimposed, superincumbent, surface, surmount, surmounted

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3830-3831
No TPTP formula. May not be expressible in strict first order. Merge.kif 16861-16863
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10175-10175
No TPTP formula. May not be expressible in strict first order. Merge.kif 16860-16860 On is an instance of AntiSymmetricPositionalAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42085-42085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42084-42084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42083-42083

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11192-11197
No TPTP formula. May not be expressible in strict first order. Merge.kif 16865-16867
No TPTP formula. May not be expressible in strict first order. Merge.kif 16869-16871
No TPTP formula. May not be expressible in strict first order. Merge.kif 16877-16880

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16810-16814 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. Mid-level-ontology.kif 19326-19338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 458-469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3952-3959
No TPTP formula. May not be expressible in strict first order. Cars.kif 4771-4781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24534-24545
No TPTP formula. May not be expressible in strict first order. Geography.kif 5969-5976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25226-25235
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 66-71
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3966-3985
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3939-3945
No TPTP formula. May not be expressible in strict first order. Hotel.kif 903-908
No TPTP formula. May not be expressible in strict first order. Merge.kif 16877-16880


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