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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NauticalMile

Sigma KEE - NauticalMile
NauticalMile(nautical mile)
air_mile, international_nautical_mile, knot, mi, mile, naut_mi, nautical_mile, sea_mile

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3778-3781
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6722-6722
No TPTP formula. May not be expressible in strict first order. Geography.kif 3777-3777 Nautical mile is an instance of UnitOfLength

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3775-3775 Nautical mile has name "nautical mile"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39930-39930
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39929-39929
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39928-39928

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1148-1153
No TPTP formula. May not be expressible in strict first order. Geography.kif 1180-1185
No TPTP formula. May not be expressible in strict first order. Geography.kif 1116-1121
No TPTP formula. May not be expressible in strict first order. Geography.kif 1075-1080
No TPTP formula. May not be expressible in strict first order. Geography.kif 1221-1226
No TPTP formula. May not be expressible in strict first order. Geography.kif 3799-3805
No TPTP formula. May not be expressible in strict first order. Geography.kif 3791-3797
No TPTP formula. May not be expressible in strict first order. Geography.kif 3851-3859

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4610-4618 Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a real number nautical mile(s) and the real number is greater than 5.0
No TPTP formula. May not be expressible in strict first order. Geography.kif 3834-3841
No TPTP formula. May not be expressible in strict first order. Geography.kif 3816-3823
No TPTP formula. May not be expressible in strict first order. Geography.kif 3807-3814
No TPTP formula. May not be expressible in strict first order. Geography.kif 3825-3832
No TPTP formula. May not be expressible in strict first order. Geography.kif 3861-3867
No TPTP formula. May not be expressible in strict first order. Geography.kif 433-440

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3787-3789 1.0 Nautical mile(s) is equal to 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 3783-3785 1.0 Nautical mile(s) is equal to 6076.1 foot length(s)


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