(=>
(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 31079-31084 |
|
(=>
(and
(memberMeasure ?S Width ?Q)
(instance ?S Class)
(instance ?O ?S))
(width ?O ?Q)) |
Mid-level-ontology.kif 31072-31077 |
|
(=>
(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 13398-13407 |
|
(=>
(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 13382-13390 |
|
(=>
(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 3841-3845 |
|
(=>
(instance ?X KingBed)
(and
(width ?X
(MeasureFn 1.9 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3784-3788 |
|
(=>
(instance ?X QueenBed)
(and
(width ?X
(MeasureFn 1.5 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3815-3819 |
|
(=>
(instance ?X SingleBed)
(and
(width ?X
(MeasureFn 1.0 Meter))
(length ?X
(MeasureFn 2.0 Meter)))) |
Mid-level-ontology.kif 3867-3871 |
|
(=>
(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 |
- Wenn maximumPayloadHeightWidth Vehicle, RealNumber UnitOfMeasure(s) and ** RealNumber ** UnitOfMeasure(s),
- dann es gibt nicht Process, SelfConnectedObject,, , ** RealNumber,, , ** ** RealNumberU,, , ** RealNumber, and und ** ** RealNumberU um ** Process ist ein fall von Transportation %n{nicht} und ** Vehicle ist ein instrument fuer ** Process %n{nicht} und ** SelfConnectedObject ist ein patient von ** Process %n{nicht} und die breite von ** SelfConnectedObject ist ** ** RealNumber ** ** RealNumberU(s) %n{nicht} und die hoehe von ** SelfConnectedObject ist ** ** RealNumber ** ** RealNumberU(s) %n{nicht} und ** ** RealNumberU ist gleich ** ** UnitOfMeasure %n{nicht} und ** ** RealNumberU ist gleich ** UnitOfMeasure %n{nicht} und ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls ** RealNumber %n{nicht}
|