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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitTerminal

 Sigma KEE - TransitTerminal
TransitTerminal
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2962-2966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12036-12036
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12037-12037
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12035-12035
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12038-12038
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12040-12040
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12041-12041
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12034-12034
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10303-10303
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12039-12039
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2961-2961 TransitTerminal est une sous-classe de artefact stationnaire

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1265-1265 Airport est une sous-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1508-1508 Heliport est une sous-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2085-2085 RailwayTerminal est une sous-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2968-2968 TrainStation est une sous-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58900-58900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58899-58899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58898-58898


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