TreeView 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 14997-14999
(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 14996-14996	Cubic foot is an instance of unit of volume

appearance as argument number 2

(termFormat ChineseLanguage CubicFoot "立方英尺")	domainEnglishFormat.kif 17991-17991
(termFormat ChineseTraditionalLanguage CubicFoot "立方英尺")	domainEnglishFormat.kif 17990-17990
(termFormat EnglishLanguage CubicFoot "cubic foot")	domainEnglishFormat.kif 17989-17989

antecedent

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

Transportation.kif 3087-3093

If equal 1 teu(s) and 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 15001-15008	If equal a real number and 1.0 and the real number, then equal the real number cubic foot(s) and 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 15039-15043	If equal a real number and 1.0 and the real number, then equal the real number registry ton(s) and the real number and 100.0 cubic foot(s)
(=> (instance ?X FiftythreeFtContainer) (measure ?X (MeasureFn 3604 CubicFoot)))	Transportation.kif 3066-3068	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 2981-2983	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 3043-3045	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 2933-2935	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 2897-2899	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 2915-2917	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 2861-2863	If a physical is an instance of twenty foot standard container, then the measure of the physical is 1172 cubic foot(s)

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

Show without tree

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: