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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RearWindow

 Sigma KEE - RearWindow
RearWindow(後窗)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15229-15230
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5075-5075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4939-4939
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5074-5074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15228-15228 子類 後窗 and 車窗

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3447-3447 不相交的 擋風玻璃 and 後窗
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48940-48940
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48939-48939
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48938-48938

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


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


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