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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Downstairs

 Sigma KEE - Downstairs
Downstairs(楼下)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19234-19235
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5965-5965
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6384-6384
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6386-6386
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6387-6387
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6388-6388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6389-6389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6390-6390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6391-6391
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6392-6392
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6393-6393
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6394-6394
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6395-6395
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6396-6396
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6397-6397
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6398-6398
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19233-19233 楼下 是 位置属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20262-20262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20261-20261
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20260-20260
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 541-541

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19237-19248


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