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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KnotUnitOfSpeed

Sigma KEE - KnotUnitOfSpeed
KnotUnitOfSpeed(knot unit of speed)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3847-3849
No TPTP formula. May not be expressible in strict first order. Geography.kif 3846-3846 Knot unit of speed is an instance of CompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3844-3844 "kt" is an abbreviation of knot unit of speed
No TPTP formula. May not be expressible in strict first order. Geography.kif 3843-3843 Knot unit of speed has name "knot"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32706-32706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32705-32705
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32704-32704

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 159-165
No TPTP formula. May not be expressible in strict first order. Geography.kif 4803-4807
No TPTP formula. May not be expressible in strict first order. Geography.kif 3861-3867

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1274-1295
No TPTP formula. May not be expressible in strict first order. Weather.kif 159-165
No TPTP formula. May not be expressible in strict first order. Geography.kif 4803-4807
No TPTP formula. May not be expressible in strict first order. Geography.kif 3851-3859
No TPTP formula. May not be expressible in strict first order. Weather.kif 2626-2639
No TPTP formula. May not be expressible in strict first order. Weather.kif 2904-2913


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