(=>
(and
(instance ?X OpticalDisc)
(attribute ?X MiniSizeDisc))
(width ?X
(MeasureFn 80 Millimeter))) |
Media.kif 1245-1250 |
|
(=>
(and
(instance ?X OpticalDisc)
(attribute ?X StandardSizeDisc))
(width ?X
(MeasureFn 120 Millimeter))) |
Media.kif 1232-1237 |
|
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(width ?O ?Q)) |
Mid-level-ontology.kif 33015-33020 |
|
(=>
(and
(memberMeasure ?S Width ?Q)
(instance ?S Class)
(instance ?O ?S))
(width ?O ?Q)) |
Mid-level-ontology.kif 33008-33013 |
|
(=>
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))
(width ?OBJECT ?WIDTH)) |
Merge.kif 9907-9912 |
|
(=>
(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 14737-14746 |
|
(=>
(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 14721-14729 |
|
(=>
(instance ?BACTERIUM Bacterium)
(exists (?NUMBER)
(and
(width ?BACTERIUM
(MeasureFn ?NUMBER Meter))
(greaterThanOrEqualTo ?NUMBER 0.000001)
(lessThanOrEqualTo ?NUMBER 0.000002)))) |
WMD.kif 205-211 |
|
(=>
(instance ?T FiftythreeFtContainer)
(and
(length ?T
(MeasureFn 53 FootLength))
(height ?T
(MeasureFn 102 Inch))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 3052-3060 |
|
(=>
(instance ?T FortyFtContainer)
(and
(length ?T
(MeasureFn 40 FootLength))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 2942-2948 |
|
(=>
(instance ?T FortyeightFtContainer)
(and
(length ?T
(MeasureFn 48 FootLength))
(height ?T
(MeasureFn 102 Inch))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 3029-3037 |
|
(=>
(instance ?T FortyfiveFtContainer)
(and
(length ?T
(MeasureFn 45 FootLength))
(height ?T
(MeasureFn 102 Inch))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 3010-3018 |
|
(=>
(instance ?T TwentyFtContainer)
(and
(length ?T
(MeasureFn 20 FootLength))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 2804-2810 |
|
(=>
(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 4284-4288 |
|
(=>
(instance ?X KingBed)
(and
(width ?X
(MeasureFn 1.9 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4227-4231 |
|
(=>
(instance ?X QueenBed)
(and
(width ?X
(MeasureFn 1.5 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4258-4262 |
|
(=>
(instance ?X SingleBed)
(and
(width ?X
(MeasureFn 1.0 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 4310-4314 |
|
(=>
(instance ?ZONE UniformPerimeterArea)
(exists (?WIDTH)
(and
(instance ?WIDTH LengthMeasure)
(width ?ZONE ?WIDTH)))) |
Geography.kif 995-1000 |
|
(=>
(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 equal the third real numberU and the other unit of measure and equal the fourth real numberU and 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
|