TreeView Knowledge Base Browser - FootLength

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FootLength

FootLength(foot length)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2591-2591
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7088-7088
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9233-9233
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9232-9232
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7086-7086	Foot length is an instance of UnitOfLength

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24609-24609
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24608-24608
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24607-24607

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1397-1404	If a water area is an instance of surf zone and significantWaveHeight in the water area during the time of existence of the water area is a real number foot length(s). and the real number is greater than 8.0, then RedFlagSwimmingCondition is an attribute of the water area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4670-4675	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object is sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4735-4740	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 foot length(s) is an elevation of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3825-3832	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 6076.1 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3766-3770	If a real number is equal to 1.0 and the real number, then the real number fathom(s) is equal to the real number and 6.0 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18424-18428	If a real number is equal to 1.0 and the real number, then the real number yard length(s) is equal to 3.0 and the real number foot length(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 904-906	If a water area is an instance of deep draft harbor, then 45 foot length(s) is a navigable for draft of the water area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1556-1565	If a process is an instance of heavy zone, then there exist a water area and a real number such that the water area is an instance of surf zone and the process is located at 2 and significantWaveHeight in the water area during the time of existence of the process is the real number foot length(s). and the real number is greater than or equal to 13.0
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1967-1973	If a device is an instance of LCAC, then the length of the device is 88.0 foot length(s) and 555.0 kilometer(s) is an effective range of the device

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3764-3764	1.0 Fathom(s) is equal to 6.0 foot length(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)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7090-7092	A real number foot length(s) is equal to the real number and 0.3048 meter(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