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 3091-3095
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 3090-3090 TransitTerminal e' uma sub-classe de Artefato Estacionario

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1265-1265 Airport e' uma sub-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1508-1508 Heliport e' uma sub-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2085-2085 RailwayTerminal e' uma sub-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3097-3097 TrainStation e' uma sub-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