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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - vesselDeadWeightTonnage
vesselDeadWeightTonnage

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2537-2542
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2534-2534 The number 1 argument of vessel dead weight tonnage is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2535-2535 The number 2 argument of vessel dead weight tonnage is an instance of mass measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2533-2533 vessel dead weight tonnage is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2536-2536 vessel dead weight tonnage is a subrelation of vessel displacement

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2587-2587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2586-2586
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2585-2585
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61574-61574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61573-61573
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61572-61572


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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