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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquefiedGasTankerShip

Sigma KEE - LiquefiedGasTankerShip
LiquefiedGasTankerShip(liquefied gas tanker ship)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1835-1835
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2371-2371 Liquefied gas tanker ship is a subclass of cargo ship

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2372-2372 Liquefied gas tanker ship has name "Liquefied gas carrier"
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2382-2382 Liquefied gas- chemical tanker ship is a subclass of liquefied gas tanker ship
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34516-34516
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34515-34515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34514-34514

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2378-2380
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2374-2376


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