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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShortSeaPassengerShip

 Sigma KEE - ShortSeaPassengerShip
ShortSeaPassengerShip(近海客船)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1985-1985
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2434-2434 子類 近海客船 and 客船

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2495-2495 例 渡船 and 近海客船
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52833-52833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52832-52832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52831-52831

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8207-8225
No TPTP formula. May not be expressible in strict first order. naics.kif 8159-8175


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