|
| (=> (instance ?PKU PeacekeepingUnit) (capability (KappaFn ?P (and (instance ?P Process) (instance ?V ViolentContest) (prevents ?P ?V))) agent ?PKU)) |
Military.kif 89-96 | |
| (=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 5543-5548 | |
| (=> (instance ?S Shield) (hasPurpose ?S (exists (?P ?H ?I) (and (instance ?P Protecting) (instrument ?P ?S) (instance ?H Human) (patient ?P ?H) (prevents ?P (KappaFn ?I (and (instance ?I Injuring) (exists (?W) (and (instance ?W Weapon) (instrument ?I ?W))) (=> (patient ?I ?H) (not (patient ?P ?H)))))))))) |
Mid-level-ontology.kif 1689-1709 | |
| (=> (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 4769-4780 | |
| (=> (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 3166-3190 | |
| (=> (instance ?Strategy SingleOption) (equal (CardinalityFn (KappaFn ?Option (patient ?Strategy ?Option))) 1)) |
FinancialOntology.kif 3105-3107 | |
| (=> (instance ?T MilitaryFoodTruck) (capability (KappaFn ?P (and (instance ?P Transportation) (instance ?F (FoodForFn Animal)) (patient ?P ?F))) instrument ?T)) |
Military.kif 287-295 | |
| (=> (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 2411-2421 | |
| (=> (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 3693-3717 | |
| (=> (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 3133-3155 | |
| (=> (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 19992-20013 | |
| (=> (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 3836-3861 | |
| (=> (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 3416-3434 | |
| (=> (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 3736-3765 | |
| (=> (maxCardinality ?REL ?ARG ?COUNT) (exists (?EL @ARGS) (lessThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2200-2209 | |
| (=> (maximumReplications ?Application ?MaxCopies) (greaterThanOrEqualTo ?MaxCopies (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))))) |
QoSontology.kif 859-864 | |
| (=> (memberCount ?ORG ?NUM) (equal ?NUM (CardinalityFn (KappaFn ?MEM (member ?MEM ?ORG))))) |
Mid-level-ontology.kif 24281-24287 | |
| (=> (minCardinality ?REL ?ARG ?COUNT) (exists (?EL @ARGS) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2163-2172 | |
| (=> (minimumReplications ?Application ?MinCopies) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))) ?MinCopies)) |
QoSontology.kif 842-847 | |
| (=> (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 23305-23320 | |
| (=> (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 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners