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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fleetDeadWeightTonnage

 Sigma KEE - fleetDeadWeightTonnage
fleetDeadWeightTonnage

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1006-1011
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1003-1003 The number 1 argument of fleet dead weight tonnage is an instance of collection
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1004-1004 The number 2 argument of fleet dead weight tonnage is an instance of mass measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1002-1002 fleet dead weight tonnage is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1005-1005 fleet dead weight tonnage is a subrelation of measure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1053-1053
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1052-1052
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1051-1051
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24218-24218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24217-24217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24216-24216

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1013-1017


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