(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(height ?O ?Q)) |
Mid-level-ontology.kif 31079-31084 |
|
(=>
(and
(memberMeasure ?S Width ?Q)
(instance ?S Class)
(instance ?O ?S))
(height ?O ?Q)) |
Mid-level-ontology.kif 31086-31091 |
|
(=>
(attribute ?F Flat)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(height ?F
(MeasureFn ?HF ?U))
(height ?S1
(MeasureFn ?H1 ?U))
(height ?S2
(MeasureFn ?H2 ?U))
(greaterThan ?H1
(MultiplicationFn 2.0 ?HF))
(greaterThan ?H2
(MultiplicationFn 2.0 ?HF))))) |
Mid-level-ontology.kif 2782-2795 |
- Wenn Flat ist ein attribut von SelfConnectedObject %n{nicht},
- dann es gibt ** SelfConnectedObject, ** SelfConnectedObject,, , RealNumber,, , ** RealNumber,, , ** RealNumber, and und UnitOfMeasure um eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject ist gleich ** ** SelfConnectedObject nicht und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die hoehe von ** SelfConnectedObject ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** ** RealNumber ist groesserAls 2.0 und ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls 2.0 und ** RealNumber %n{nicht}
|
(=>
(attribute ?O LevelShape)
(not
(exists (?P1 ?P2 ?T ?H1 ?H2 ?U)
(and
(top ?T ?O)
(part ?P1 ?T)
(part ?P2 ?T)
(instance ?U UnitOfLength)
(height ?P1
(MeasureFn ?H1 ?U))
(height ?P2
(MeasureFn ?H2 ?U))
(greaterThan ?H1 ?H2))))) |
Mid-level-ontology.kif 2823-2836 |
- Wenn LevelShape ist ein attribut von SelfConnectedObject %n{nicht},
- dann es gibt nicht ** SelfConnectedObject, ** SelfConnectedObject,, , ** SelfConnectedObject,, , RealNumber,, , ** RealNumber, and und UnitOfMeasure um die oberseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject ist ein teil von ** ** SelfConnectedObject %n{nicht} und ** ** SelfConnectedObject ist ein teil von ** ** SelfConnectedObject %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|
(=>
(defaultMaximumHeight ?OBJECT
(MeasureFn ?H ?U))
(modalAttribute
(exists (?INST ?HEIGHT)
(and
(instance ?INST ?OBJECT)
(height ?INST
(MeasureFn ?HEIGHT ?U))
(greaterThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13364-13373 |
|
(=>
(defaultMinimumHeight ?OBJECT
(MeasureFn ?H ?U))
(modalAttribute
(exists (?INST ?HEIGHT)
(and
(instance ?INST ?OBJECT)
(height ?INST
(MeasureFn ?HEIGHT ?U))
(lessThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13348-13356 |
|
(=>
(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 ?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 ?PLANER Planer)
(hasPurpose ?PLANER
(exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(and
(instance ?CUT Cutting)
(instrument ?CUT ?PLANER)
(resource ?CUT ?OBJ1)
(instance ?OBJ1 Object)
(material ?OBJ1 Wood)
(result ?CUT ?OBJ2)
(instance ?OBJ2 Object)
(material Wood ?OBJ2)
(attribute ?OBJ2 Flat)
(instance ?U UnitOfLength)
(height ?OBJ1
(MeasureFn ?H1 ?U))
(height ?OBJ2
(MeasureFn ?H2 ?U))
(greaterThan ?H1 ?H2))))) |
Economy.kif 6017-6036 |
- Wenn Physical ist ein fall von Planer %n{nicht},
- dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Cutting %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} und ** ** entity ist ein hilfmittel fuer ** entity %n{nicht} und ** ** entity ist ein fall von Object %n{nicht} und ** ** entity ist von Wood gebildet und ** ** entity ist ein resultat von ** entity %n{nicht} und ** ** entity ist ein fall von Object %n{nicht} und Wood ist von ** ** entity gebildet und Flat ist ein attribut von ** ** entity %n{nicht} und ** ** entity ist ein fall von UnitOfLength %n{nicht} und die hoehe von ** ** entity ist ** ** entity ** ** entity(s) %n{nicht} und die hoehe von ** ** entity ist ** ** entity ** ** entity(s) %n{nicht} und ** ** entity ist groesserAls ** ** entity %n{nicht} %n{nicht}
|
(=>
(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}
|