FootLength - Sigma Knowledge base Browser

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 7213-7213
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 9231-9231
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9230-9230
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7211-7211	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 24630-24630
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24629-24629
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24628-24628

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1382-1389	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 136-145	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 4842-4847	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 relative to sea level is 0.0 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4907-4912	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 3984-3991	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.	Mid-level-ontology.kif 15019-15026	If a real number is equal to 1.0 and the real number, then the real number cubic foot(s) is equal to the real number and the real number and the real number foot length(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3925-3929	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 20661-20665	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 1539-1548	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3052-3060	If a self connected object is an instance of fifty three foot container, then the length of the self connected object is 53 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2942-2948	If a physical is an instance of forty foot container, then the length of the physical is 40 foot length(s) and the width of the physical is 8 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3029-3037	If a self connected object is an instance of forty eight foot container, then the length of the self connected object is 48 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3010-3018	If a self connected object is an instance of forty five foot container, then the length of the self connected object is 45 foot length(s) and the height of the self connected object is 102 inch(s) and the width of the self connected object is 8 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2804-2810	If a physical is an instance of twenty foot container, then the length of the physical is 20 foot length(s) and the width of the physical is 8 foot length(s)

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3923-3923	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 3942-3944	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 7215-7217	A real number foot length(s) is equal to the real number and 0.3048 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15006-15006	Square foot is equal to the square unit of foot length

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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