CubicFoot - Sigma Knowledge base Browser

appearance as argument number 1

(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 13853-13855
(documentation CubicFoot EnglishLanguage "SquareFoot is a unit for measuring area, equal to one foot length by one foot width.")	Mid-level-ontology.kif 13843-13844
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Approximation_volume_deformation.png")	pictureList.kif 10766-10766
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png")	pictureList.kif 9964-9964
(instance CubicFoot UnitOfVolume)	Mid-level-ontology.kif 13852-13852	Cubic foot is an instance of unit of volume

appearance as argument number 2

(termFormat ChineseLanguage CubicFoot "立方英尺")	domainEnglishFormat.kif 17998-17998
(termFormat ChineseTraditionalLanguage CubicFoot "立方英尺")	domainEnglishFormat.kif 17997-17997
(termFormat EnglishLanguage CubicFoot "cubic foot")	domainEnglishFormat.kif 17996-17996

antecedent

(=>
    (equal
        (MeasureFn 1 TEU)
        (MeasureFn ?X CubicFoot))
    (and
        (greaterThanOrEqualTo ?X 680)
        (lessThanOrEqualTo ?X 1520)))

Transportation.kif 3078-3084

If 1 teu(s) is equal to a real number cubic foot(s),
then the real number is greater than or equal to 680 and the real number is less than or equal to 1520

consequent

(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot)))	Mid-level-ontology.kif 13886-13890	If a real number is equal to 1.0 and the real number, then the real number registry ton(s) is equal to the real number and 100.0 cubic foot(s)
(=> (instance ?X FiftythreeFtContainer) (measure ?X (MeasureFn 3604 CubicFoot)))	Transportation.kif 3057-3059	If a physical is an instance of fifty three foot container, then the measure of the physical is 3604 cubic foot(s)
(=> (instance ?X FortyFtStandardContainer) (measure ?X (MeasureFn 2389 CubicFoot)))	Transportation.kif 2972-2974	If a physical is an instance of forty foot standard container, then the measure of the physical is 2389 cubic foot(s)
(=> (instance ?X FortyeightFtContainer) (measure ?X (MeasureFn 3264 CubicFoot)))	Transportation.kif 3034-3036	If a physical is an instance of forty eight foot container, then the measure of the physical is 3264 cubic foot(s)
(=> (instance ?X TwentyFtHalfHeightContainer) (measure ?X (MeasureFn 680 CubicFoot)))	Transportation.kif 2924-2926	If a physical is an instance of twenty foot half height container, then the measure of the physical is 680 cubic foot(s)
(=> (instance ?X TwentyFtHeavyDutyContainer) (measure ?X (MeasureFn 1172 CubicFoot)))	Transportation.kif 2888-2890	If a physical is an instance of twenty foot heavy duty container, then the measure of the physical is 1172 cubic foot(s)
(=> (instance ?X TwentyFtHighcubeContainer) (measure ?X (MeasureFn 1520 CubicFoot)))	Transportation.kif 2906-2908	If a physical is an instance of twenty foot high cube container, then the measure of the physical is 1520 cubic foot(s)
(=> (instance ?X TwentyFtStandardContainer) (measure ?X (MeasureFn 1172 CubicFoot)))	Transportation.kif 2852-2854	If a physical is an instance of twenty foot standard container, then the measure of the physical is 1172 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: