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

Formal Language: 



KB Term:  Term intersection
English Word: 

  vesselDisplacement

Sigma KEE - vesselDisplacement
vesselDisplacement

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2527-2531
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2524-2524 The number 1 argument of vessel displacement is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2525-2525 The number 2 argument of vessel displacement is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2523-2523 vessel displacement is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2526-2526 vessel displacement is a subrelation of measure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2591-2591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2590-2590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2589-2589
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
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2547-2547 vessel gross registered tonnage is a subrelation of vessel displacement
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61580-61580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61579-61579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61578-61578

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2637-2643


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