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 7184-7184
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1300-1300
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.	pictureList.kif 9231-9231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7182-7182	Foot length is an instance of unit of length

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24614-24614
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24613-24613
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24612-24612

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1398-1405	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 red flag swimming condition 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 4772-4777	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 4837-4842	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 3903-3910	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 3844-3848	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 19073-19077	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 1557-1566	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 the water area 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 3842-3842	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 3861-3863	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 7186-7188	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