(=>     (instance ?EV ExhaustValve)     (hasPurpose ?EV         (exists (?E ?T)             (and                 (instance ?T Transfer)                 (objectTransferred ?T ?E)                 (path ?T ?EV)                 (instance ?E Exhaust)))))	Cars.kif 2649-2657	If a physical is an instance of exhaust valve, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of transfer and the object transferred in the other entity is the entity and the physical is path along which the other entity occurs and the entity is an instance of exhaust
(=>     (instance ?G Gasket)     (hasPurpose ?G         (exists (?O1 ?O2)             (and                 (instance ?O1 CorpuscularObject)                 (instance ?O2 CorpuscularObject)                 (meetsSpatially ?O1 ?G)                 (meetsSpatially ?O2 ?G)                 (not                     (exists (?H ?D ?T ?O)                         (and                             (instance ?H HoleRegion)                             (equal ?G                                 (HoleHostFn ?H))                             (instance ?T Translocation)                             (path ?T ?H)                             (origin ?T ?O)                             (destination ?T ?D)                             (contains ?O1 ?O)                             (not                                 (contains ?O1 ?D))                             (meetsSpatially ?O1 ?D)                             (not                                 (exists (?O3)                                     (and                                         (contains ?H ?O3)                                         (not                                             (contains ?O1 ?O3))                                         (not                                             (contains ?O2 ?O3))))))))))))	Cars.kif 2827-2856	If a physical is an instance of gasket, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there don't exist a third entity, a fourth entity,, , a fifth entity and a sixth entity such that the third entity is an instance of hole and equal the physical and the host of the hole the third entity and the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
(=>     (instance ?GF GreaseFitting)     (hasPurpose ?GF         (exists (?P ?G)             (and                 (instance ?G Grease)                 (instance ?P Putting)                 (path ?P ?GF)                 (objectTransferred ?P ?G)))))	Cars.kif 3079-3087	If a physical is an instance of grease fitting, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of grease and the entity is an instance of putting and the physical is path along which the entity occurs and the object transferred in the entity is the other entity
(=>     (instance ?HALL Hallway)     (hasPurpose ?HALL         (exists (?TRAN ?BUILD ?R1 ?R2)             (and                 (instance ?TRAN Translocation)                 (path ?TRAN ?HALL)                 (located ?HALL ?BUILD)                 (instance ?BUILD Building)                 (between ?R1 ?HALL ?R2)                 (instance ?R1 Room)                 (instance ?R2 Room)                 (located ?R1 ?BUILD)                 (located ?R2 ?BUILD)                 (not                     (equal ?R1 ?R2))))))	Mid-level-ontology.kif 16984-16999	If a physical is an instance of hall, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is located at the other entity and the other entity is an instance of building and the physical is between the third entity and the fourth entity and the third entity is an instance of room and the fourth entity is an instance of room and the third entity is located at the other entity and the fourth entity is located at the other entity and equal the third entity and the fourth entity
(=>     (instance ?IV IntakeValve)     (hasPurpose ?IV         (exists (?A ?FV ?CC ?T)             (and                 (instance ?A Automobile)                 (instance ?FV FuelVapor)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (part ?IV ?A)                 (part ?CC ?A)                 (patient ?T ?FV)                 (path ?T ?IV)                 (destination ?T ?CC)))))	Cars.kif 2674-2687	If a physical is an instance of intake valve, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the other entity is an instance of fuel vapor and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the other entity is a patient of the fourth entity and the physical is path along which the fourth entity occurs and the fourth entity ends up at the third entity
(=>     (instance ?IVT IVTherapy)     (exists (?V ?T)         (and             (instance ?T IVLine)             (path ?IVT ?T)             (instance ?V Vein)             (destination ?IVT ?V))))	Medicine.kif 1070-1077	If a motion is an instance of IV Therapy, then there exist an entity and an object such that the object is an instance of IV Line and the object is path along which the motion occurs and the entity is an instance of vein and the motion ends up at the entity
(=>     (instance ?MHCV ManifoldHeatControlValve)     (hasPurpose ?MHCV         (exists (?H ?O ?E ?FV ?T)             (and                 (instance ?H Heating)                 (instance ?O Opening)                 (instance ?E Exhaust)                 (instance ?T Transfer)                 (instance ?FV FuelVapor)                 (patient ?O ?MHCV)                 (instrument ?H ?E)                 (patient ?H ?FV)                 (path ?T ?MHCV)                 (causes ?O ?T)                 (causes ?T ?H)))))	Cars.kif 3323-3338	If a physical is an instance of manifold heat control valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of heating and the other entity is an instance of opening and the third entity is an instance of exhaust and the fifth entity is an instance of transfer and the fourth entity is an instance of fuel vapor and the physical is a patient of the other entity and the third entity is an instrument for the entity and the fourth entity is a patient of the entity and the physical is path along which the fifth entity occurs and the other entity causes the fifth entity and the fifth entity causes the entity
(=>     (instance ?NA NasopharyngealAirway)     (hasPurpose ?NA         (exists (?H ?B)             (and                 (instance ?B Breathing)                 (located ?B ?H)                 (holdsDuring                     (WhenFn ?B)                     (attribute ?H Unconscious))                 (path ?B ?NA)))))	Medicine.kif 721-731	If a physical is an instance of nose hose, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of breathing and the other entity is located at the entity and unconscious is an attribute of the entity holds during the time of existence of the other entity and the physical is path along which the other entity occurs
(=>     (instance ?P Waterway)     (hasPurpose ?P         (exists (?T)             (and                 (instance ?T WaterTransportation)                 (path ?T ?P)))))	Geography.kif 7197-7203	If a physical is an instance of waterway, then the physical has the purpose there exists an entity such that the entity is an instance of water transportation and the physical is path along which the entity occurs
(=>     (instance ?PCVV PositiveCrankcaseVentilationValve)     (hasPurpose ?PCVV         (exists (?CR ?F ?CC ?T ?A)             (and                 (instance ?CR Crankcase)                 (instance ?F Fuel)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (instance ?A Automobile)                 (part ?CR ?A)                 (part ?CC ?A)                 (part ?PCVV ?A)                 (origin ?T ?CR)                 (destination ?T ?CC)                 (objectTransferred ?T ?F)                 (path ?T ?PCVV)))))	Cars.kif 3879-3895	If a physical is an instance of positive crankcase ventilation valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs
(=>     (instance ?R Ramp)     (capability MotionDownward path ?R))	Mid-level-ontology.kif 2833-2835	If an object is an instance of ramp, then the object is capable of doing motion downward as a path
(=>     (instance ?R Ramp)     (capability MotionUpward path ?R))	Mid-level-ontology.kif 2829-2831	If an object is an instance of ramp, then the object is capable of doing motion upward as a path
(=>     (instance ?SIDE Sidewalk)     (hasPurpose ?SIDE         (exists (?WALK)             (and                 (instance ?WALK Walking)                 (path ?WALK ?SIDE)))))	Mid-level-ontology.kif 17016-17022	If a physical is an instance of sidewalk, then the physical has the purpose there exists an entity such that the entity is an instance of walking and the physical is path along which the entity occurs
(=>     (instance ?T Translocation)     (exists (?O ?D ?P)         (and             (instance ?O Object)             (instance ?D Object)             (instance ?P Object)             (path ?T ?P)             (origin ?T ?O)             (destination ?T ?D))))	Merge.kif 11741-11750	If a motion is an instance of translocation, then there exist an object, an entity and another object such that the object is an instance of object and the entity is an instance of object and the other object is an instance of object and the other object is path along which the motion occurs and the motion originates at the object and the motion ends up at the entity
(=>     (instance ?T Tube)     (hasPurpose ?T         (exists (?P ?OBJ)             (and                 (instance ?P Transfer)                 (path ?P ?T)                 (patient ?P ?OBJ)                 (attribute ?OBJ Fluid)))))	Mid-level-ontology.kif 1744-1752	If a physical is an instance of tube, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the physical is path along which the entity occurs and the other entity is a patient of the entity and fluid is an attribute of the other entity
(=>     (instance ?TELEX Telex)     (hasPurpose ?TELEX         (exists (?SYS ?TELEX2 ?MSG)             (and                 (instance ?SYS TelephoneSystem)                 (instance ?TELEX2 Telex)                 (instance ?MSG Messaging)                 (or                     (and                         (origin ?MSG ?TELEX)                         (destination ?MSG ?TELEX2))                     (and                         (origin ?MSG ?TELEX2)                         (destination ?MSG ?TELEX)))                 (path ?MSG ?SYS)))))	Communications.kif 185-200	If a physical is an instance of telex, then the physical has the purpose there exist an entity, the physical2 and a third entity such that the entity is an instance of telephone system and the physical2 is an instance of telex and the third entity is an instance of messaging and the third entity originates at the physical and the third entity ends up at the physical2 or the third entity originates at the physical2 and the third entity ends up at the physical and the entity is path along which the third entity occurs
(=>     (instance ?TRACK RunningTrack)     (hasPurpose ?TRACK         (exists (?RUN ?HUMAN)             (and                 (instance ?HUMAN Human)                 (instance ?RUN Running)                 (agent ?RUN ?HUMAN)                 (path ?RUN ?TRACK)))))	Mid-level-ontology.kif 27695-27703	If a physical is an instance of running track, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of human and the entity is an instance of running and the other entity is an agent of the entity and the physical is path along which the entity occurs
(=>     (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 1227-1238	If a physical is an instance of valve, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of transfer and the physical is path along which the third entity occurs and the entity is a patient of the third entity and fluid is an attribute of the entity and the other entity is an instance of process and the physical is an instrument for the other entity and the third entity is a patient of the other entity
(=>     (instance ?W SantaAnaWinds)     (exists (?H ?D ?A)         (and             (instance ?H HighPressureWeatherSystem)             (eventLocated ?H GreatBasin)             (causes ?H ?W)             (path ?W ?D)             (instance ?D Desert)             (destination ?W ?A)             (instance ?A SouthernCalifornia))))	Weather.kif 2642-2652	If a motion is an instance of Santa Ana winds, then there exist a process, an object and an entity such that the process is an instance of high pressure weather system and the process is located at Great Basin and the process causes the motion and the object is path along which the motion occurs and the object is an instance of desert and the motion ends up at the entity and the entity is an instance of Southern California
(=>     (instance ?WAY AirTransitway)     (hasPurpose ?WAY         (exists (?TRANSPORT)             (and                 (instance ?TRANSPORT Transportation)                 (path ?TRANSPORT ?WAY)                 (partlyLocated ?WAY EarthsAtmosphere)))))	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere
(=>     (instance ?WAY LandTransitway)     (hasPurpose ?WAY         (exists (?MOVE ?LAND)             (and                 (instance ?MOVE Translocation)                 (path ?MOVE ?WAY)                 (eventLocated ?MOVE ?LAND)                 (instance ?LAND LandArea)))))	Merge.kif 14464-14472	If a physical is an instance of land transitway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the entity is located at the other entity and the other entity is an instance of land area
(=>     (instance ?WAY Transitway)     (hasPurpose ?WAY         (exists (?TRANSPORT)             (and                 (instance ?TRANSPORT Translocation)                 (path ?TRANSPORT ?WAY)))))	Merge.kif 14451-14457	If a physical is an instance of transitway, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is path along which the entity occurs
(=>     (instance ?WL WireLine)     (hasPurpose ?WL         (exists (?R)             (and                 (instance ?R Radiating)                 (path ?R ?WL)))))	Mid-level-ontology.kif 4068-4074	If a physical is an instance of wire line, then the physical has the purpose there exists an entity such that the entity is an instance of radiating and the physical is path along which the entity occurs
(=>     (instance ?X MultimodalTransitPoint)     (exists (?T1 ?A ?T2 ?B)         (and             (instance ?T1                 (TransitFn ?A))             (instance ?A AirTransitway)             (path ?T1 ?A)             (instance ?T2                 (TransitFn ?B))             (path ?T2 ?B)             (connects ?X ?A ?B)             (not                 (equal ?T1 ?T2))             (or                 (instance ?B Railway)                 (instance ?B Roadway)                 (instance ?B Waterway)))))	Transportation.kif 3694-3709	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of air transitway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of waterway
(=>     (instance ?X MultimodalTransitPoint)     (exists (?T1 ?A ?T2 ?B)         (and             (instance ?T1                 (TransitFn ?A))             (instance ?A Railway)             (path ?T1 ?A)             (instance ?T2                 (TransitFn ?B))             (path ?T2 ?B)             (connects ?X ?A ?B)             (not                 (equal ?T1 ?T2))             (or                 (instance ?B Waterway)                 (instance ?B Roadway)                 (instance ?B AirTransitway)))))	Transportation.kif 3728-3743	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of railway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and equal the motion and the other motion and the other transitway is an instance of waterway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway
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