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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleWindow

Sigma KEE - VehicleWindow
VehicleWindow(車窗)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3436-3437
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4947-4947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3435-3435 子類 車窗 and 窗口

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15228-15228 子類 後窗 and 車窗
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3446-3446 子類 擋風玻璃 and 車窗
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61414-61414
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61413-61413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61412-61412

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


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


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