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 1834-1834
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2382-2382 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 2383-2383 Liquefied gas tanker ship has name "Liquefied gas carrier"
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2393-2393 LiquefiedGasChemicalTankerShip is a subclass of liquefied gas tanker ship
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34601-34601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34600-34600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34599-34599

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2389-2391
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2385-2387


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