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

Formal Language: 



KB Term:  Term intersection
English Word: 

  realization
  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 2911-2915
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 2910-2910 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 2079-2079 RailwayTerminal est une sous-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2917-2917 TrainStation est une sous-classe de TransitTerminal
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58898-58898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58897-58897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58896-58896


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