(=>
(and
(memberMeasure ?S Length ?Q)
(instance ?S Class)
(instance ?O ?S))
(length ?O ?Q)) |
Mid-level-ontology.kif 31053-31058 |
|
(=>
(attribute ?F LongAndThin)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(length ?F
(MeasureFn ?HF ?U))
(length ?S1
(MeasureFn ?H1 ?U))
(length ?S2
(MeasureFn ?H2 ?U))
(lessThan ?H1
(MultiplicationFn 3.0 ?HF))
(lessThan ?H2
(MultiplicationFn 3.0 ?HF))))) |
Mid-level-ontology.kif 2803-2816 |
- If long and thin is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
(=>
(defaultMaximumLength ?O
(MeasureFn ?L ?U))
(modalAttribute
(exists (?INST ?LENGTH)
(and
(instance ?INST ?O)
(length ?INST
(MeasureFn ?LENGTH ?U))
(greaterThan ?LENGTH ?U))) Unlikely)) |
Mid-level-ontology.kif 13431-13440 |
|
(=>
(defaultMinimumLength ?OBJECT
(MeasureFn ?L ?U))
(modalAttribute
(exists (?INST ?LENGTH)
(and
(instance ?INST ?OBJECT)
(length ?INST
(MeasureFn ?LENGTH ?U))
(lessThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 13415-13423 |
|
(=>
(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 ?LCAC LCAC)
(and
(length ?LCAC
(MeasureFn 88.0 FootLength))
(effectiveRange ?LCAC
(MeasureFn 555.0 Kilometer)))) |
MilitaryDevices.kif 1967-1973 |
|
(=>
(instance ?RUNWAY Runway)
(exists (?LENGTH)
(and
(instance ?LENGTH LengthMeasure)
(length ?RUNWAY ?LENGTH)))) |
Transportation.kif 1305-1310 |
|
(=>
(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 |
|
(=>
(or
(equal ?DIRECTION North)
(equal ?DIRECTION South))
(length
(LatitudeFn ?DIRECTION
(MeasureFn 0.0 AngularDegree)
(MeasureFn 1.0 ArcMinute)
(MeasureFn 0.0 ArcSecond))
(MeasureFn 1.0 NauticalMile))) |
Geography.kif 433-440 |
|
(=>
(sharedBorderLength ?N1 ?N2 ?M)
(length
(BorderFn ?N1 ?N2) ?M)) |
Geography.kif 758-760 |
|