|
| (=> (instance ?CTRL TemperatureControl) (exists (?DEVICE ?TEMP) (and (instance ?DEVICE ElectricDevice) (part ?CTRL ?DEVICE) (hasPurpose ?DEVICE (exists (?PROC ?AREA) (and (instance ?AREA Region) (instance ?PROC Process) (instrument ?PROC ?CTRL) (result ?PROC (airTemperature ?AREA ?TEMP)))))))) |
engineering.kif 1138-1150 | |
| (=> (instance ?ECM EngineControlModule) (hasPurpose ?ECM (exists (?A ?E ?P1 ?P2) (and (instance ?A Automobile) (instance ?E Engine) (instance ?P1 Process) (instance ?P2 Process) (part ?E ?A) (part ?ECM ?A) (eventLocated ?P1 ?ECM) (eventLocated ?P2 ?E) (causes ?P1 ?P2))))) |
Cars.kif 2519-2532 | |
| (=> (instance ?EXPERIMENT Experimenting) (exists (?QUALIFYING_EVENTS) (and (instance ?QUALIFYING_EVENTS Collection) (forall (?EVENT) (=> (and (instance ?EVENT Process) (or (experimentalControlProcess ?EXPERIMENT ?EVENT) (experimentalVariableProcess ?EXPERIMENT ?EVENT))) (member ?EVENT ?QUALIFYING_EVENTS))) (equal (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS)))) |
UXExperimentalTerms.kif 4415-4430 | |
| (=> (instance ?G Generator) (hasPurpose ?G (exists (?P ?E) (and (instance ?P Process) (instance ?E Electricity) (result ?P ?E) (instrument ?P ?G))))) |
Cars.kif 1194-1202 | |
| (=> (instance ?H HydraulicFluid) (hasPurpose ?H (exists (?P) (and (instance ?P Process) (instrument ?P ?H) (holdsDuring (WhenFn ?P) (attribute ?H Liquid)))))) |
Cars.kif 1587-1596 | |
| (=> (instance ?HP HearingProtection) (hasPurpose ?HP (=> (and (instance ?PERSON Human) (wears ?PERSON ?HP)) (exists (?PROC ?INJ) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN))) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP)))))) |
Cars.kif 3448-3478 | |
| (=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (and (instance ?PERSON Human) (wears ?PERSON ?PE)) (exists (?PROTECT ?EYE ?INJ) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ)))))) |
Cars.kif 3485-3511 | |
| (=> (instance ?PKU PeacekeepingUnit) (capability (KappaFn ?P (and (instance ?P Process) (instance ?V ViolentContest) (prevents ?P ?V))) agent ?PKU)) |
Military.kif 89-96 | |
| (=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P)))) |
Mid-level-ontology.kif 13854-13859 | |
| (=> (instance ?SH SafetyHarness) (hasPurpose ?SH (=> (and (instance ?PERSON Animal) (wears ?PERSON ?SH)) (exists (?PROC ?INJ) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I))) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))) (prevents ?PROC ?INJ)))))) |
Cars.kif 3389-3418 | |
| (=> (instance ?TEAM CrossFunctionalTeam) (exists (?SKILL ?MEMBER1 ?MEMBER2) (and (instance ?SKILL Process) (instance ?MEMBER1 Human) (instance ?MEMBER2 Human) (member ?MEMBER1 ?TEAM) (member ?MEMBER2 ?TEAM) (hasSkill ?SKILL ?MEMBER1) (not (hasSkill ?SKILL ?MEMBER2)) (inScopeOfInterest ?TEAM ?SKILL)))) |
UXExperimentalTerms.kif 2840-2852 | |
| (=> (instance ?TPS TestProtocolSpecification) (exists (?PLAN ?EXPERIMENT ?PROC) (and (instance ?PLAN Plan) (instance ?EXPERIMENT Experimenting) (instance ?PROC Process) (represents ?PLAN ?PROC) (subProcess ?EXPERIMENT ?PROC) (containsInformation ?TPS ?PLAN)))) |
UXExperimentalTerms.kif 2964-2973 | |
| (=> (instance ?TRANS TransferSwitch) (hasPurpose ?TRANS (exists (?PROC ?POWER1 ?POWER2 ?E) (and (instance ?PROC Process) (instance ?POWER1 PowerSource) (instance ?POWER2 PowerSource) (instance ?E Electricity) (instrument ?PROC ?TRANS) (holdsDuring (BeginFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (holdsDuring (EndFn (WhenFn ?PROC)) (origin ?E ?POWER1)) (not (equal ?POWER1 ?POWER2)))))) |
engineering.kif 880-899 | |
| (=> (instance ?V Valve) (hasPurpose ?V (exists (?FLUID ?PROC ?FLOW) (and (instance ?FLOW Transfer) (path ?FLOW ?V) (patient ?FLOW ?FLUID) (attribute ?FLUID Fluid) (instance ?PROC Process) (instrument ?PROC ?V) (patient ?PROC ?FLOW))))) |
engineering.kif 912-923 | |
| (=> (instance ?X AirConditioner) (hasPurpose ?X (exists (?PROC ?TEMP ?AREA) (and (located ?X ?AREA) (instance ?PROC Process) (instrument ?PROC ?X) (result ?PROC (airTemperature ?AREA ?TEMP)))))) |
Mid-level-ontology.kif 25361-25369 | |
| (=> (instance ?X Earphone) (hasPurpose ?X (exists (?ES ?RS ?SIGNAL ?EAR ?PROC) (and (instance ?ES ElectricalSignalling) (patient ?ES ?SIGNAL) (destination ?ES ?X) (instance ?PROC Process) (instrument ?PROC ?X) (patient ?PROC ?SIGNAL) (result ?PROC ?RS) (instance ?RS RadiatingSound) (origin ?RS ?X) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC))) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?RS))) (instance ?EAR Ear) (orientation ?X ?EAR Adjacent))))) |
Mid-level-ontology.kif 25420-25441 | |
| (=> (instance ?X Respirator) (hasPurpose ?X (=> (and (instance ?PERSON Animal) (wears ?PERSON ?X)) (exists (?INHAL ?INJ ?PROTECT) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL))))))))))) |
Cars.kif 3533-3555 | |
| (=> (instance ?X SafetyDevice) (hasPurpose ?X (exists (?P ?H) (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) (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 3679-3708 | |
| (=> (instance ?X Tripod) (hasPurpose ?X (exists (?OBJ ?PUT ?PROC) (and (instance ?OBJ Artifact) (instance ?PUT Putting) (patient ?PUT ?OBJ) (destination ?PUT ?X) (instance ?PROC Process) (instrument ?PROC ?OBJ) (before (EndFn (WhenFn ?PUT)) (BeginFn (WhenFn ?PROC))))))) |
Mid-level-ontology.kif 26067-26080 | |
| (=> (instance ?X VideoRecording) (exists (?EV) (and (instance ?EV Process) (represents ?X ?EV) (capability RadiatingLight patient ?X)))) |
Mid-level-ontology.kif 13899-13905 | |
| (=> (produced ?R ?A) (exists (?M ?P) (and (instance ?M Managing) (agent ?M ?A) (patient ?M ?P) (instance ?P Process) (result ?P ?R)))) |
Mid-level-ontology.kif 20010-20018 | |
| (=> (producedOn ?R ?D) (exists (?P) (and (instance ?P Process) (result ?P ?R) (equal ?D (WhenFn (EndFn ?P)))))) |
Music.kif 96-104 | |
| (=> (qualifiedTreatment ?TREATMENT ?VISITOR) (exists (?PROCESS) (and (instance ?PROCESS Process) (member ?PROCESS ?TREATMENT) (capability ?PROCESS experiencer ?VISITOR)))) |
UXExperimentalTerms.kif 4308-4314 | |
| (=> (voltageMeasure ?OBJ ?MEAS) (exists (?ELEC ?PROC) (and (instance ?ELEC Electricity) (instance ?PROC Process) (instrument ?PROC ?OBJ) (result ?PROC ?ELEC) (measure ?ELEC ?MEAS)))) |
Mid-level-ontology.kif 25739-25747 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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