( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] :
(((s__subclass(V__A,s__Muscle) &
s__instance(V__A,s__Object) &
s__instance(V__A,s__Class) &
s__subclass(V__B,s__Muscle) &
s__instance(V__B,s__Class) &
s__instance(V__B,s__Object) &
s__subclass(V__B,s__Process) &
s__instance(V__PART,s__Object))
=>
(((s__antagonistMuscles(V__A,V__B)
&
s__instance(V__F,s__Extension) &
s__instrument(V__F,V__A)
&
s__moves(V__F,V__PART)
&
s__instance(V__AC,V__A)
&
s__instance(V__BC,V__B)
&
s__part(V__A,V__H)
&
s__part(V__B,V__H)
&
s__instance(V__H,s__Mammal))
=>
(s__capability(V__B,s__instrument__m,s__Flexion)))))
)
)
|
Mid-level-ontology.kif 10062-10073 |
|
( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] :
(((s__subclass(V__A,s__Muscle) &
s__instance(V__A,s__Object) &
s__instance(V__A,s__Class) &
s__subclass(V__B,s__Muscle) &
s__instance(V__B,s__Class) &
s__instance(V__B,s__Object) &
s__subclass(V__B,s__Process) &
s__instance(V__PART,s__Object))
=>
(((s__antagonistMuscles(V__A,V__B)
&
s__instance(V__F,s__Flexion) &
s__instrument(V__F,V__A)
&
s__moves(V__F,V__PART)
&
s__instance(V__AC,V__A)
&
s__instance(V__BC,V__B)
&
s__part(V__A,V__H)
&
s__part(V__B,V__H)
&
s__instance(V__H,s__Mammal))
=>
(s__capability(V__B,s__instrument__m,s__Extension)))))
)
)
|
Mid-level-ontology.kif 10049-10060 |
|
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] :
(((s__instance(V__O,s__Object) &
s__instance(V__R,s__TemporaryResidence) &
s__instance(V__ROOM,s__Class) &
s__subclass(V__ROOM,s__HotelUnit) &
s__instance(V__OBJ,s__Class) &
s__instance(V__GUEST,s__Human) &
s__instance(V__HOTEL,s__Agent))
=>
(((s__freeRoomAmenity(V__ROOM,V__OBJ)
&
s__subclass(V__OBJ,s__Object) &
s__instance(V__R,V__ROOM)
&
s__stays(V__GUEST,V__R)
&
s__element(V__R,s__PropertyFn(V__HOTEL))
&
s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
(s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)
|
Hotel.kif 334-349 |
|
( ! [V__A,V__S,V__ATTACH] :
(((s__instance(V__A,s__Anchor) &
s__instance(V__ATTACH,s__Attaching) &
s__instrument(V__ATTACH,V__A)
&
s__patient(V__ATTACH,V__S))
=>
(s__instance(V__S,s__WaterVehicle)))
)
)
|
Mid-level-ontology.kif 4116-4122 |
|
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
(((s__instance(V__ARTERY,s__Artery) &
s__instance(V__TRANSFER,s__Transfer) &
s__patient(V__TRANSFER,V__BLOOD)
&
s__instrument(V__TRANSFER,V__ARTERY)
&
s__instance(V__BLOOD,s__Blood))
=>
(( ? [V__HEART] :
((s__instance(V__HEART,s__Heart) &
s__origin(V__TRANSFER,V__HEART))))))
)
)
|
Mid-level-ontology.kif 10482-10492 |
|
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] :
(((s__instance(V__ARTERY,s__PulmonaryArtery) &
s__instance(V__TRANSFER,s__Transfer) &
s__patient(V__TRANSFER,V__BLOOD)
&
s__instrument(V__TRANSFER,V__ARTERY)
&
s__instance(V__BLOOD,s__Blood))
=>
(( ? [V__LUNG] :
((s__instance(V__LUNG,s__Lung) &
s__destination(V__TRANSFER,V__LUNG))))))
)
)
|
Mid-level-ontology.kif 10515-10525 |
|
( ! [V__WEAPON,V__ATTACK] :
(((s__instance(V__ATTACK,s__ViolentContest) &
s__instrument(V__ATTACK,V__WEAPON)
&
s__instance(V__WEAPON,s__BiochemicalWeapon))
=>
(s__instance(V__ATTACK,s__BiochemicalAttack)))
)
)
|
WMD.kif 57-62 |
|
( ! [V__Authorization,V__Card,V__Transaction] :
(((s__instance(V__Authorization,s__AuthorizationOfTransaction) &
s__instance(V__Transaction,s__FinancialTransaction) &
s__instance(V__Card,s__BankCard) &
s__instrument(V__Transaction,V__Card)
&
s__causes(V__Authorization,V__Transaction))
=>
(s__instance(V__Card,s__ValidCard)))
)
)
|
FinancialOntology.kif 3477-3484 |
|
( ! [V__B,V__OBJ,V__CUT] :
(((s__instance(V__B,s__Blade) &
s__instance(V__CUT,s__Cutting) &
s__instance(V__OBJ,s__Object) &
s__instrument(V__CUT,V__B)
&
s__patient(V__CUT,V__OBJ))
=>
(s__meetsSpatially(V__B,V__OBJ)))
)
)
|
Mid-level-ontology.kif 21329-21336 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29001-29008 |
|
( ! [V__CHEW,V__TOOTH] :
((s__instance(V__TOOTH,s__Object) =>
(((s__instance(V__CHEW,s__Chewing) &
s__instrument(V__CHEW,V__TOOTH))
=>
(s__instance(V__TOOTH,s__Tooth)))))
)
)
|
Mid-level-ontology.kif 10913-10917 |
|
( ! [V__PATH,V__CONN,V__COM] :
((s__instance(V__PATH,s__Object) =>
(((s__instance(V__CONN,s__WirelessNetwork) &
s__instance(V__COM,s__NetworkCommunication) &
s__instrument(V__COM,V__CONN)
&
s__path(V__COM,V__PATH))
=>
(( ? [V__PART] :
((s__instance(V__PART,s__Object) &
(s__part(V__PART,V__PATH)
&
~(s__instance(V__PART,s__Cable))))))))))
)
)
|
ComputingBrands.kif 1391-1401 |
|
( ! [V__CRAFT,V__EVENT] :
(((s__instance(V__CRAFT,s__WaterVehicle) &
s__instance(V__EVENT,s__Transportation) &
s__instrument(V__EVENT,V__CRAFT))
=>
(( ? [V__WATER] :
((s__instance(V__WATER,s__WaterArea) &
s__eventLocated(V__EVENT,V__WATER))))))
)
)
|
Mid-level-ontology.kif 3433-3441 |
|
( ! [V__Agent,V__Card,V__Transaction] :
((s__instance(V__Agent,s__Agent) =>
(((s__instance(V__Card,s__DebitCard) &
s__possesses(V__Agent,V__Card)
&
s__instance(V__Transaction,s__FinancialTransaction) &
s__instrument(V__Transaction,V__Card))
=>
(( ? [V__PIN, V__Enter] :
((s__instance(V__PIN,s__SymbolicString) &
(s__pin(V__PIN,V__Card)
&
s__instance(V__Enter,s__EnteringAPin) &
s__patient(V__Enter,V__PIN)
&
s__agent(V__Enter,V__Agent)))))))))
)
)
|
FinancialOntology.kif 3504-3515 |
|
( ! [V__P,V__D] :
((s__instance(V__P,s__Process) =>
(((s__instance(V__D,s__AnimalPoweredDevice) &
s__instrument(V__P,V__D))
=>
(( ? [V__A] :
((s__instance(V__A,s__Animal) &
s__instrument(V__P,V__A))))))))
)
)
|
Mid-level-ontology.kif 2704-2711 |
|
( ! [V__SUBSTANCE,V__DAMAGE] :
(((s__instance(V__DAMAGE,s__Damaging) &
s__instrument(V__DAMAGE,V__SUBSTANCE)
&
s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance))
=>
(s__instance(V__SUBSTANCE,s__Toxin)))
)
)
|
WMD.kif 180-185 |
|
( ! [V__EV,V__DEV] :
(((s__instance(V__DEV,s__ElectricDevice) &
s__instance(V__EV,s__Process) &
s__instrument(V__EV,V__DEV))
=>
(( ? [V__R] :
((s__instance(V__R,s__Electricity) &
s__resource(V__EV,V__R))))))
)
)
|
Mid-level-ontology.kif 2484-2492 |
|
( ! [V__FILTER,V__REMOVE,V__GAS,V__PARTICLE] :
((s__instance(V__PARTICLE,s__Object) =>
(((s__instance(V__FILTER,s__AbsoluteFilter) &
s__instance(V__REMOVE,s__Removing) &
s__origin(V__REMOVE,V__GAS)
&
s__instance(V__GAS,s__GasMixture) &
s__patient(V__REMOVE,V__PARTICLE)
&
s__attribute(V__PARTICLE,s__Solid) &
s__instrument(V__REMOVE,V__FILTER))
=>
(~(s__part(V__PARTICLE,V__GAS))))))
)
)
|
MilitaryDevices.kif 1379-1389 |
|
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1070-1090 |
|
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1051-1068 |
|
( ! [V__P,V__B,V__S,V__G] :
(((s__instance(V__G,s__Gun) &
s__instance(V__B,s__GunBarrel) &
s__part(V__B,V__G)
&
s__instance(V__S,s__Shooting) &
s__instrument(V__S,V__G)
&
s__patient(V__S,V__P)
&
s__instance(V__P,s__Projectile))
=>
(( ? [V__SUB] :
((s__instance(V__SUB,s__Motion) &
(s__subProcess(V__SUB,V__S)
&
s__path(V__SUB,V__B)))))))
)
)
|
Mid-level-ontology.kif 1174-1186 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16325-16337 |
|
( ! [V__HR,V__H,V__K] :
(((s__instance(V__HR,s__Reel) &
s__instance(V__K,s__Keeping) &
s__instance(V__H,s__CorpuscularObject) &
s__attribute(V__H,s__LongAndThin) &
s__attribute(V__H,s__Pliable) &
s__instrument(V__K,V__HR)
&
s__patient(V__K,V__H))
=>
(( ? [V__P] :
((s__instance(V__P,s__Object) &
(s__part(V__P,V__H)
&
s__meetsSpatially(V__P,V__HR)))))))
)
)
|
Cars.kif 4290-4302 |
|
( ! [V__HR,V__H,V__K] :
(((s__instance(V__HR,s__Reel) &
s__instance(V__K,s__Keeping) &
s__instance(V__H,s__CorpuscularObject) &
s__attribute(V__H,s__LongAndThin) &
s__attribute(V__H,s__Pliable) &
s__instrument(V__K,V__HR)
&
s__patient(V__K,V__H))
=>
(( ? [V__R] :
((s__instance(V__R,s__Rotating) &
s__patient(V__R,V__HR)
&
s__subProcess(V__R,V__K))))))
)
)
|
Cars.kif 4304-4317 |
|
( ! [V__P,V__N1,V__IC,V__E1,V__E2] :
(((s__instance(V__N1,s__RealNumber) &
s__instance(V__N1,s__UnitOfMeasure))
=>
(((s__instance(V__IC,s__IgnitionCoil) &
s__instance(V__P,s__ElectricTransmission) &
s__resource(V__P,V__E1)
&
s__instance(V__E1,s__Electricity) &
s__instance(V__E2,s__Electricity) &
s__result(V__P,V__E2)
&
s__instrument(V__P,V__IC)
&
s__measure(V__E1,s__MeasureFn(s__Volt,V__N1)))
=>
(s__approximateValue(V__N1,n__12)))))
)
)
|
Cars.kif 3155-3165 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
