(=>
(and
(instance ?X OpticalDisc)
(attribute ?X MiniSizeDisc))
(width ?X
(MeasureFn 80 Millimeter))) |
Media.kif 1243-1248 |
|
(=>
(and
(instance ?X OpticalDisc)
(attribute ?X StandardSizeDisc))
(width ?X
(MeasureFn 120 Millimeter))) |
Media.kif 1230-1235 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(width ?O ?Q)) |
Mid-level-ontology.kif 30996-31001 |
|
(=>
(and
(memberMeasure ?S Width ?Q)
(instance ?S Class)
(instance ?O ?S))
(width ?O ?Q)) |
Mid-level-ontology.kif 30989-30994 |
|
(=>
(defaultMaximumWidth ?OBJECT
(MeasureFn ?W ?U))
(modalAttribute
(exists (?INST ?WIDTH)
(and
(instance ?INST ?OBJECT)
(width ?INST
(MeasureFn ?WIDTH ?U))
(greaterThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 13370-13379 |
|
(=>
(defaultMinimumWidth ?OBJECT
(MeasureFn ?W ?U))
(modalAttribute
(exists (?INST ?WIDTH)
(and
(instance ?INST ?OBJECT)
(width ?INST
(MeasureFn ?WIDTH ?U))
(lessThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 13354-13362 |
|
(=>
(exists (?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH)))
(width ?OBJECT ?WIDTH)) |
Merge.kif 9768-9774 |
|
(=>
(instance ?AAV AAV)
(and
(length ?AAV
(MeasureFn 7.94 Meter))
(width ?AAV
(MeasureFn 3.27 Meter))
(weight ?AAV
(MeasureFn 22.8 TonMass))
(height ?AAV
(MeasureFn 3.26 Meter))
(effectiveRange ?AAV
(MeasureFn 480.0 Kilometer)))) |
MilitaryDevices.kif 1662-1674 |
|
(=>
(instance ?AGM114 AGM114)
(and
(length ?AGM114
(MeasureFn 1.63 Meter))
(width ?AGM114
(MeasureFn 0.71 Meter))
(height ?AGM114
(MeasureFn 0.71 Meter))
(weight ?AGM114
(MeasureFn 45.0 Kilogram))
(effectiveRange ?AGM114
(MeasureFn 8.0 Kilometer)))) |
MilitaryDevices.kif 1235-1247 |
|
(=>
(instance ?AGM65 AGM65)
(and
(length ?AGM65
(MeasureFn 2.55 Meter))
(width ?AGM65
(MeasureFn 0.7 Meter))
(height ?AGM65
(MeasureFn 0.7 Meter))
(weight ?AGM65
(MeasureFn 302.0 Kilogram))
(effectiveRange ?AGM65
(MeasureFn 27.0 Kilometer)))) |
MilitaryDevices.kif 1155-1167 |
|
(=>
(instance ?AH1 AH1)
(and
(length ?AH1
(MeasureFn 17.68 Meter))
(width ?AH1
(MeasureFn 14.63 Meter))
(height ?AH1
(MeasureFn 4.44 Meter))
(weight ?AH1
(MeasureFn 4634.0 Kilogram))
(effectiveRange ?AH1
(MeasureFn 587.0 Kilometer)))) |
MilitaryDevices.kif 1900-1912 |
|
(=>
(instance ?AIM9 AIM9)
(and
(length ?AIM9
(MeasureFn 2.85 Meter))
(width ?AIM9
(MeasureFn 0.63 Meter))
(height ?AIM9
(MeasureFn 0.63 Meter))
(weight ?AIM9
(MeasureFn 91.0 Kilogram))
(effectiveRange ?AIM9
(MeasureFn 18.0 Kilometer)))) |
MilitaryDevices.kif 1189-1201 |
|
(=>
(instance ?BACTERIUM Bacterium)
(exists (?NUMBER)
(and
(width ?BACTERIUM
(MeasureFn ?NUMBER Meter))
(greaterThanOrEqualTo ?NUMBER 0.000001)
(lessThanOrEqualTo ?NUMBER 0.000002)))) |
WMD.kif 205-211 |
|
(=>
(instance ?CH46D CH46D)
(and
(length ?CH46D
(MeasureFn 25.72 Meter))
(width ?CH46D
(MeasureFn 15.54 Meter))
(height ?CH46D
(MeasureFn 5.1 Meter))
(weight ?CH46D
(MeasureFn 7047.0 Kilogram))
(effectiveRange ?CH46D
(MeasureFn 676.0 Kilometer)))) |
MilitaryDevices.kif 1860-1872 |
|
(=>
(instance ?CH53E CH53E)
(and
(length ?CH53E
(MeasureFn 30.2 Meter))
(width ?CH53E
(MeasureFn 24.1 Meter))
(height ?CH53E
(MeasureFn 8.46 Meter))
(weight ?CH53E
(MeasureFn 15071.0 Kilogram))
(effectiveRange ?CH53E
(MeasureFn 2000.0 Kilometer)))) |
MilitaryDevices.kif 1788-1800 |
|
(=>
(instance ?Harrier Harrier2)
(and
(length ?Harrier
(MeasureFn 14.1 Meter))
(width ?Harrier
(MeasureFn 9.2 Meter))
(height ?Harrier
(MeasureFn 3.5 Meter))
(weight ?Harrier
(MeasureFn 5700.0 Kilogram))
(effectiveRange ?Harrier
(MeasureFn 1000.0 Kilometer)))) |
MilitaryDevices.kif 1744-1756 |
|
(=>
(instance ?LAV LAV25)
(and
(length ?LAV
(MeasureFn 6.39 Meter))
(width ?LAV
(MeasureFn 2.5 Meter))
(height ?LAV
(MeasureFn 2.69 Meter))
(weight ?LAV
(MeasureFn 12802.8 Kilogram))
(effectiveRange ?LAV
(MeasureFn 660.1 Kilometer)))) |
MilitaryDevices.kif 1542-1554 |
|
(=>
(instance ?VIRUS YellowFeverVirus)
(exists (?NUMBER)
(and
(width ?VIRUS
(MeasureFn ?NUMBER Meter))
(equal ?NUMBER 0.00000002)))) |
WMD.kif 1179-1184 |
|
(=>
(instance ?X DoubleBed)
(and
(width ?X
(MeasureFn 1.35 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3813-3817 |
|
(=>
(instance ?X KingBed)
(and
(width ?X
(MeasureFn 1.9 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3756-3760 |
|
(=>
(instance ?X QueenBed)
(and
(width ?X
(MeasureFn 1.5 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3787-3791 |
|
(=>
(instance ?X SingleBed)
(and
(width ?X
(MeasureFn 1.0 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3839-3843 |
|
(=>
(instance ?ZONE UniformPerimeterArea)
(exists (?WIDTH)
(and
(instance ?WIDTH LengthMeasure)
(width ?ZONE ?WIDTH)))) |
Geography.kif 830-835 |
|
(=>
(maximumPayloadHeightWidth ?V
(MeasureFn ?HEIGHT ?UNITHEIGHT)
(MeasureFn ?WIDTH ?UNITWIDTH))
(not
(exists (?TP ?O ?WO ?WOU ?HO ?HOU)
(and
(instance ?TP Transportation)
(instrument ?TP ?V)
(patient ?TP ?O)
(width ?O
(MeasureFn ?WO ?WOU))
(height ?O
(MeasureFn ?HO ?HOU))
(equal ?WOU ?UNITWIDTH)
(equal ?HOU ?UNITHEIGHT)
(greaterThan ?WO ?WIDTH)
(greaterThan ?HO ?HEIGHT))))) |
MilitaryDevices.kif 121-138 |
- If a vehicle is maximum payload height width a real number an unit of measure(s) for another real number another unit of measure(s),
- then there don't exist a process, a self connected object,, , a third real number,, , the third real numberU,, , a fourth real number and the fourth real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the width of the self connected object is the third real number the third real numberU(s) and the height of the self connected object is the fourth real number the fourth real numberU(s) and the third real numberU is equal to the other unit of measure and the fourth real numberU is equal to the unit of measure and the third real number is greater than the other real number and the fourth real number is greater than the real number
|
