Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CubicFoot
CubicFoot(cubic foot)
cu_ft, cubic_foot

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


(instance CubicFoot UnitOfVolume) Mid-level-ontology.kif 15220-15220 Cubic foot is an instance of unit of volume
(documentation CubicFoot EnglishLanguage "CubicFoot is a unit for measuring volume, equal to a volume of one foot length in each dimension of length, width, and height.") Mid-level-ontology.kif 15221-15223 Cubic foot is an instance of unit of volume
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") pictureList.kif 9963-9963 Cubic foot is an instance of unit of volume
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Approximation_volume_deformation.png") pictureList.kif 10764-10764 Cubic foot is an instance of unit of volume

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


(termFormat EnglishLanguage CubicFoot "cubic foot") domainEnglishFormat.kif 17982-17982
(termFormat ChineseTraditionalLanguage CubicFoot "立方英尺") domainEnglishFormat.kif 17983-17983
(termFormat ChineseLanguage CubicFoot "立方英尺") domainEnglishFormat.kif 17984-17984

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


(=>
    (equal
        (MeasureFn 1 TEU)
        (MeasureFn ?X CubicFoot))
    (and
        (greaterThanOrEqualTo ?X 680)
        (lessThanOrEqualTo ?X 1520)))		 Transportation.kif 3133-3139 If equal 1 teu(s) and X cubic foot(s), then X is greater than or equal to 680 and X is less than or equal to 1520

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


(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CubicFoot)
        (MeasureFn
            (MultiplicationFn ?NUMBER
                (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))		 Mid-level-ontology.kif 15225-15232 If equal X, 1.0, and X, then equal X cubic foot(s) and X and X and X foot length(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100.0) CubicFoot)))		 Mid-level-ontology.kif 15263-15267 If equal X, 1.0, and X, then equal X registry ton(s) and X and 100.0 cubic foot(s)
(=>
    (instance ?X TwentyFtStandardContainer)
    (measure ?X
        (MeasureFn 1172 CubicFoot)))		 Transportation.kif 2907-2909 If X is an instance of twenty foot standard container, then the measure of X is 1172 cubic foot(s)
(=>
    (instance ?X TwentyFtHeavyDutyContainer)
    (measure ?X
        (MeasureFn 1172 CubicFoot)))		 Transportation.kif 2943-2945 If X is an instance of twenty foot heavy duty container, then the measure of X is 1172 cubic foot(s)
(=>
    (instance ?X TwentyFtHighcubeContainer)
    (measure ?X
        (MeasureFn 1520 CubicFoot)))		 Transportation.kif 2961-2963 If X is an instance of twenty foot high cube container, then the measure of X is 1520 cubic foot(s)
(=>
    (instance ?X TwentyFtHalfHeightContainer)
    (measure ?X
        (MeasureFn 680 CubicFoot)))		 Transportation.kif 2979-2981 If X is an instance of twenty foot half height container, then the measure of X is 680 cubic foot(s)
(=>
    (instance ?X FortyFtStandardContainer)
    (measure ?X
        (MeasureFn 2389 CubicFoot)))		 Transportation.kif 3027-3029 If X is an instance of forty foot standard container, then the measure of X is 2389 cubic foot(s)
(=>
    (instance ?X FortyeightFtContainer)
    (measure ?X
        (MeasureFn 3264 CubicFoot)))		 Transportation.kif 3089-3091 If X is an instance of forty eight foot container, then the measure of X is 3264 cubic foot(s)
(=>
    (instance ?X FiftythreeFtContainer)
    (measure ?X
        (MeasureFn 3604 CubicFoot)))		 Transportation.kif 3112-3114 If X is an instance of fifty three foot container, then the measure of X is 3604 cubic foot(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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners