(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(height ?O ?Q)) |
Mid-level-ontology.kif 31348-31353 |
|
(=>
(and
(memberMeasure ?S Width ?Q)
(instance ?S Class)
(instance ?O ?S))
(height ?O ?Q)) |
Mid-level-ontology.kif 31355-31360 |
|
(=>
(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 2775-2788 |
- If flat 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 height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
|
(=>
(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 2816-2829 |
- If level shape is an attribute of a self connected object,
- then there don't exist another self connected object, a third self connected object,, , a fourth self connected object,, , a real number,, , another real number and an unit of measure such that the top of the self connected object is the fourth self connected object and the other self connected object is a part of the fourth self connected object and the third self connected object is a part of the fourth self connected object and the unit of measure is an instance of unit of length and the height of the other self connected object is the real number the unit of measure(s) and the height of the third self connected object is the other real number the unit of measure(s) and the real number is greater than the other real number
|
(=>
(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 13583-13592 |
|
(=>
(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 13567-13575 |
|
(=>
(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 |
- If a physical is an instance of planer,
- then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
|
(=>
(instance ?T FiftythreeFtContainer)
(and
(length ?T
(MeasureFn 53 FootLength))
(height ?T
(MeasureFn 102 Inch))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 3043-3051 |
|
(=>
(instance ?T FortyFtHalfHeightContainer)
(height ?T
(MeasureFn 53 Inch))) |
Transportation.kif 2991-2994 |
|
(=>
(instance ?T FortyFtHighcubeContainer)
(height ?T
(MeasureFn 114 Inch))) |
Transportation.kif 2981-2984 |
|
(=>
(instance ?T FortyFtStandardContainer)
(height ?T
(MeasureFn 102 Inch))) |
Transportation.kif 2963-2966 |
|
(=>
(instance ?T FortyeightFtContainer)
(and
(length ?T
(MeasureFn 48 FootLength))
(height ?T
(MeasureFn 102 Inch))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 3020-3028 |
|
(=>
(instance ?T FortyfiveFtContainer)
(and
(length ?T
(MeasureFn 45 FootLength))
(height ?T
(MeasureFn 102 Inch))
(width ?T
(MeasureFn 8 FootLength)))) |
Transportation.kif 3001-3009 |
|
(=>
(instance ?T TwentyFtHalfHeightContainer)
(height ?T
(MeasureFn 53 Inch))) |
Transportation.kif 2915-2918 |
|
(=>
(instance ?T TwentyFtHeavyDutyContainer)
(height ?T
(MeasureFn 102 Inch))) |
Transportation.kif 2879-2882 |
|
(=>
(instance ?T TwentyFtHighcubeContainer)
(height ?T
(MeasureFn 114 Inch))) |
Transportation.kif 2897-2900 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
