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 14554-14556
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Approximation_volume_deformation.png")	pictureList.kif 10764-10764
(externalImage CubicFoot "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png")	pictureList.kif 9963-9963
(instance CubicFoot UnitOfVolume)	Mid-level-ontology.kif 14553-14553	Cubic foot is an instance of unit of volume

appearance as argument number 2

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

antecedent

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

Transportation.kif 3084-3090

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 CubicFoot) (MeasureFn (MultiplicationFn ?NUMBER (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))	Mid-level-ontology.kif 14558-14565	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)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot)))	Mid-level-ontology.kif 14596-14600	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 3063-3065	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 2978-2980	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 3040-3042	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 2930-2932	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 2894-2896	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 2912-2914	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 2858-2860	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: