(=>
(instance ?SADDLE Saddle)
(exists (?RIDE)
(capability
(KappaFn ?RIDE
(exists (?HUMAN ?HORSE)
(and
(instance ?RIDE Carrying)
(patient ?RIDE ?HUMAN)
(instance ?HUMAN Human)
(agent ?RIDE ?HORSE)
(instance ?HORSE Horse)))) instrument ?SADDLE))) |
Mid-level-ontology.kif 4326-4337 |
|
(=>
(instance ?Straddle Straddle)
(exists (?Call ?Price ?Date ?Number ?Put)
(and
(equal
(CardinalityFn
(KappaFn ?Call
(and
(instance ?Call CallOption)
(part ?Call ?Straddle)))) ?Number)
(equal
(CardinalityFn
(KappaFn ?Put
(and
(instance ?Put PutOption)
(part ?Put ?Straddle)))) ?Number)
(forall (?Option)
(=>
(and
(instance ?Option Option)
(part ?Option ?Straddle))
(and
(agreementExpirationDate ?Option ?Date)
(strikePrice ?Option ?Price))))))) |
FinancialOntology.kif 3149-3173 |
|
(=>
(instance ?Strategy SingleOption)
(equal
(CardinalityFn
(KappaFn ?Option
(patient ?Strategy ?Option))) 1)) |
FinancialOntology.kif 3088-3090 |
|
(=>
(instance ?T MilitaryFoodTruck)
(capability
(KappaFn ?P
(and
(instance ?P Transportation)
(instance ?F
(FoodForFn Animal))
(patient ?P ?F))) instrument ?T)) |
Military.kif 210-218 |
|
(=>
(instance ?T TankCar)
(exists (?TRANS)
(capability
(KappaFn ?TRANS
(exists (?L ?T)
(and
(instance ?L Liquid)
(instance ?TRANS Transportation)
(patient ?TRANS ?L)))) instrument ?T))) |
Transportation.kif 2236-2246 |
|
(=>
(instance ?TRIANGLE Triangle)
(equal
(CardinalityFn
(KappaFn ?SIDE
(sideOfFigure ?SIDE ?TRIANGLE))) 3)) |
Mid-level-ontology.kif 4896-4901 |
|
(=>
(instance ?X AutoAirbag)
(hasPurpose ?X
(exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(and
(instance ?CAR Automobile)
(part ?X ?CAR)
(instance ?PERSON Human)
(contains ?CAR ?PERSON)
(instance ?IMP Impacting)
(patient ?IMP ?CAR)
(instance ?INF Inflating)
(patient ?INF ?X)
(causes ?IMP ?INF)
(hinders ?INF
(KappaFn ?INJ
(and
(instance ?INJ Injuring)
(experiencer ?INJ ?PERSON)
(exists (?HIT)
(and
(instance ?HIT Impacting)
(destination ?HIT ?CAR)
(experiencer ?HIT ?PERSON)
(causes ?HIT ?INJ)))))))))) |
Cars.kif 3632-3656 |
- If a physical is an instance of airbag,
- 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 automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by the fifth entity
|
(=>
(instance ?X Key)
(hasPurpose ?X
(exists (?LOCK ?CLOSE ?OPEN)
(and
(instance ?LOCK Lock)
(capability
(KappaFn ?CLOSE
(and
(instance ?CLOSE Closing)
(patient ?CLOSE ?LOCK)
(holdsDuring
(ImmediateFutureFn ?CLOSE)
(attribute ?LOCK Locked)))) instrument ?X)
(capability
(KappaFn ?OPEN
(and
(instance ?OPEN Closing)
(patient ?OPEN ?LOCK)
(holdsDuring
(ImmediateFutureFn ?OPEN)
(not
(attribute ?LOCK Locked))))) instrument ?X))))) |
Mid-level-ontology.kif 2670-2692 |
|
(=>
(instance ?X Protecting)
(hasPurpose ?X
(exists (?OBJ ?T ?H ?HARM)
(and
(instance ?OBJ Object)
(patient ?X Object)
(subclass ?HARM
(KappaFn ?H
(and
(or
(instance ?H CriminalAction)
(instance ?H Damaging))
(=>
(holdsDuring ?T
(patient ?H ?OBJ))
(not
(holdsDuring ?T
(patient ?X ?OBJ)))))))
(or
(prevents ?X ?HARM)
(hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 18421-18442 |
|
(=>
(instance ?X RemoteKeylessSystem)
(exists (?KEY ?LOCK ?CLOSE ?OPEN)
(and
(instance ?KEY Key)
(instance ?KEY RemoteControl)
(member ?KEY ?X)
(instance ?LOCK Lock)
(member ?LOCK ?X)
(capability
(KappaFn ?CLOSE
(and
(instance ?CLOSE Closing)
(patient ?CLOSE ?LOCK)
(holdsDuring
(ImmediateFutureFn ?CLOSE)
(attribute ?LOCK Locked)))) instrument ?KEY)
(capability
(KappaFn ?OPEN
(and
(instance ?OPEN Closing)
(patient ?OPEN ?LOCK)
(holdsDuring
(ImmediateFutureFn ?OPEN)
(not
(attribute ?LOCK Locked))))) instrument ?KEY)))) |
Cars.kif 3775-3800 |
|
(=>
(instance ?X SafetyDevice)
(hasPurpose ?X
(exists (?P ?H ?I ?T)
(and
(instance ?H Human)
(instance ?P Process)
(patient ?P ?H)
(instrument ?P ?X)
(prevents ?P
(KappaFn ?I
(and
(instance ?I Injuring)
(=>
(holdsDuring ?T
(experiencer ?I ?H))
(not
(holdsDuring ?T
(patient ?P ?H))))))))))) |
Cars.kif 3355-3373 |
|
(=>
(instance ?X SeatBelt)
(hasPurpose ?X
(exists (?PERSON ?STOP ?VEHICLE ?M)
(and
(instance ?VEHICLE Vehicle)
(part ?X ?VEHICLE)
(instance ?PERSON Human)
(contains ?VEHICLE ?PERSON)
(instance ?STOP Process)
(prevents ?STOP
(KappaFn ?M
(and
(instance ?M Translocation)
(patient ?M ?PERSON)
(exists (?COLLISION)
(and
(or
(instance ?COLLISION Decelerating)
(instance ?COLLISION Impacting))
(experiencer ?COLLISION ?VEHICLE)
(causes ?COLLISION ?M)))
(modalAttribute
(exists (?INJ ?IMP)
(and
(instance ?INJ Injuring)
(instance ?IMP Impacting)
(causes ?M ?INJ)
(patient ?INJ ?PERSON)
(subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3675-3704 |
|
(=>
(maxCardinality ?REL ?ARG ?COUNT)
(exists (?EL @ARGS)
(lessThanOrEqualTo
(CardinalityFn
(KappaFn ?EL
(and
(?REL @ARGS)
(equal ?EL
(ListOrderFn
(ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2198-2207 |
|
(=>
(maximumReplications ?Application ?MaxCopies)
(greaterThanOrEqualTo ?MaxCopies
(CardinalityFn
(KappaFn ?Copy
(programRunning ?Copy ?Application))))) |
QoSontology.kif 750-755 |
|
(=>
(memberCount ?ORG ?NUM)
(equal ?NUM
(CardinalityFn
(KappaFn ?MEM
(member ?MEM ?ORG))))) |
Mid-level-ontology.kif 22640-22646 |
|
(=>
(minCardinality ?REL ?ARG ?COUNT)
(exists (?EL @ARGS)
(greaterThanOrEqualTo
(CardinalityFn
(KappaFn ?EL
(and
(?REL @ARGS)
(equal ?EL
(ListOrderFn
(ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2161-2170 |
|
(=>
(minimumReplications ?Application ?MinCopies)
(greaterThanOrEqualTo
(CardinalityFn
(KappaFn ?Copy
(programRunning ?Copy ?Application))) ?MinCopies)) |
QoSontology.kif 733-738 |
|
(=>
(protonNumber ?SUBSTANCE ?NUMBER)
(=>
(exists (?ATOM)
(and
(part ?ATOM ?SUBSTANCE)
(or
(instance ?ATOM Atom)
(instance ?ATOM Molecule))))
(exists (?PROTON)
(equal ?NUMBER
(CardinalityFn
(KappaFn ?PROTON
(and
(part ?PROTON ?ATOM)
(instance ?PROTON Proton)))))))) |
Mid-level-ontology.kif 21688-21703 |
|
(=>
(siteCatalog ?DATABASE ?WEBSITE)
(exists (?PART ?PRODUCTS ?BUYING)
(and
(instance ?PRODUCTS Collection)
(part ?PART ?DATABASE)
(represents ?PART ?PRODUCTS)
(forall (?MEMBER)
(=>
(member ?MEMBER ?PRODUCTS)
(and
(instance ?MEMBER Physical)
(capability
(KappaFn ?BUYING
(and
(instance ?BUYING Buying)
(eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER))))))) |
UXExperimentalTerms.kif 2242-2259 |
|