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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Above
Above(以上)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17073-17073 以上下面 的相反
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3817-3818
No TPTP formula. May not be expressible in strict first order. Merge.kif 17074-17077
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10350-10350
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10349-10349
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10351-10351
No TPTP formula. May not be expressible in strict first order. Merge.kif 17072-17072 以上AntiSymmetricPositionalAttributeinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17071-17071 以上位置属性instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5100-5100
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5099-5099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5098-5098
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 533-533

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. Weather.kif 2566-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 17079-17082

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17091-17095 客体另一个 客体下面 若且唯若 那个 另外 客体那个 客体那个 另外 客体那个 客体以上
No TPTP formula. May not be expressible in strict first order. Merge.kif 7714-7716
No TPTP formula. May not be expressible in strict first order. Merge.kif 9715-9720
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1469-1481
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1488-1500
No TPTP formula. May not be expressible in strict first order. Geography.kif 5561-5570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9539-9544
No TPTP formula. May not be expressible in strict first order. Geography.kif 4288-4297
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. Mid-level-ontology.kif 30316-30323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15385-15392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2037-2046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3878-3886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3958-3969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19220-19231


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