FootLength - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FootLength ChineseLanguage "这是英制长度单位的英尺。")	chinese_format.kif 2591-2591
(documentation FootLength EnglishLanguage "English length unit of feet.")	Merge.kif 6893-6893
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png")	pictureList.kif 9237-9237
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg")	pictureList.kif 9236-9236
(instance FootLength UnitOfLength)	Merge.kif 6891-6891	Foot length is an instance of UnitOfLength

appearance as argument number 2

(termFormat ChineseLanguage FootLength "脚长")	domainEnglishFormat.kif 24550-24550
(termFormat ChineseTraditionalLanguage FootLength "腳長")	domainEnglishFormat.kif 24549-24549
(termFormat EnglishLanguage FootLength "foot length")	domainEnglishFormat.kif 24548-24548

antecedent

(=>
    (and
        (equal ?N4
            (MultiplicationFn ?N1
                (MultiplicationFn ?N2 ?N3)))
        (equal ?QUANT
            (MultiplicationFn
                (MeasureFn ?N1 FootLength)
                (MultiplicationFn
                    (MeasureFn ?N2 FootLength)
                    (MeasureFn ?N3 FootLength)))))
    (equal ?QUANT
        (MeasureFn ?N4 CubicFoot)))

Mid-level-ontology.kif 11264-11274

If a real number is equal to another real number and a third real number and a fourth real number and a number is equal to the other real number foot length(s) and the third real number foot length(s) and the fourth real number foot length(s),
then the number is equal to the real number cubic foot(s)

consequent

(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0 FootLength)))	Geography.kif 4477-4481	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
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 FootLength)))	Geography.kif 4539-4543	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 foot length(s) is an elevation of the other self connected object
(=> (equal ?NUM (MultiplicationFn 1 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength)))	Geography.kif 3715-3717	If a real number is equal to 1 and the real number, then the real number nautical mile(s) is equal to the real number and 6076.1 foot length(s)
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER Fathom) (MeasureFn (MultiplicationFn ?NUMBER 6) FootLength)))	Geography.kif 3679-3683	If a real number is equal to 1 and the real number, then the real number fathom(s) is equal to the real number and 6 foot length(s)
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3 ?NUMBER) FootLength)))	Mid-level-ontology.kif 16891-16895	If a real number is equal to 1 and the real number, then the real number yard length(s) is equal to 3 and the real number foot length(s)
(=> (instance ?HARBOR DeepDraftHarbor) (navigableForDraft ?HARBOR (MeasureFn 45 FootLength)))	Transportation.kif 893-895	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
(=> (instance ?HS HeavySurf) (exists (?SZ ?SWH) (and (instance ?SZ SurfZone) (eventLocated ?HS ?SZ) (significantWaveHeight ?SZ (WhenFn ?HS) (MeasureFn ?SWH FootLength)) (greaterThanOrEqualTo ?SWH 13))))	Weather.kif 1162-1171	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
(=> (instance ?LCAC LCAC) (and (length ?LCAC (MeasureFn 88 FootLength)) (effectiveRange ?LCAC (MeasureFn 555 Kilometer))))	MilitaryDevices.kif 1967-1973	If a device is an instance of LCAC, then the length of the device is 88 foot length(s) and 555 kilometer(s) is an effective range of the device

statement

(equal (MeasureFn 1 CubicFoot) (MultiplicationFn (MeasureFn 1 FootLength) (MultiplicationFn (MeasureFn 1 FootLength) (MeasureFn 1 FootLength))))	Mid-level-ontology.kif 11256-11262	1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(s)
(equal (MeasureFn 1 Fathom) (MeasureFn 6 FootLength))	Geography.kif 3677-3677	1 Fathom(s) is equal to 6 foot length(s)
(equal (MeasureFn 1 NauticalMile) (MeasureFn 6076.1 FootLength))	Geography.kif 3696-3696	1 Nautical mile(s) is equal to 6076.1 foot length(s)
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 6895-6897	A real number foot length(s) is equal to the real number and 0.3048 meter(s)

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

KB Term:			Term intersection

English Word: