(=>     (attribute ?H Emphysema)     (exists (?L ?P)         (and             (instance ?L Alveolus)             (part ?L ?H)             (instance ?P PathologicProcess)             (eventLocated ?P ?L))))	Mid-level-ontology.kif 6003-6010	Wenn Emphysema ist ein attribut von Object %n{nicht}, dann es gibt ** Object und Process um ** ** Object ist ein fall von Alveolus %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** Process ist ein fall von PathologicProcess %n{nicht} und eventLocated ** Process and ** ** Object
(=>     (attribute ?H Goiter)     (exists (?G ?P)         (and             (instance ?G ThyroidGland)             (part ?G ?H)             (instance ?P PathologicProcess)             (eventLocated ?P ?G))))	Mid-level-ontology.kif 6174-6181	Wenn Goiter ist ein attribut von Object %n{nicht}, dann es gibt ** Object und Process um ** ** Object ist ein fall von ThyroidGland %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** Process ist ein fall von PathologicProcess %n{nicht} und eventLocated ** Process and ** ** Object
(=>     (attribute ?H PepticUlcers)     (exists (?S ?U)         (and             (instance ?S Stomach)             (instance ?U Ulcer)             (part ?S ?H)             (located ?U ?S))))	Medicine.kif 4972-4979	Wenn PepticUlcers ist ein attribut von Object %n{nicht}, dann es gibt ** Object und Physical um ** ** Object ist ein fall von Stomach %n{nicht} und ** Physical ist ein fall von Ulcer %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** Physical befindet sich an %n{nicht}
(=>     (attribute ?H Pulmonologist)     (exists (?P1 ?P2 ?PAT ?L)         (and             (subclass ?PROCESS1 DiagnosticProcess)             (subclass ?PROCESS2 TherapeuticProcess)             (patient ?P1 ?PAT)             (patient ?P2 ?PAT)             (instance ?L Lung)             (part ?L ?PAT)             (located ?P1 Lung)             (located ?P2 Lung))))	Medicine.kif 4481-4492	Wenn Pulmonologist ist ein attribut von Object %n{nicht}, dann es gibt Process, ** Process,, , ** Object, and und ** Object um Class ist eine teilkategorie von DiagnosticProcess und ** Class ist eine teilkategorie von TherapeuticProcess und ** ** Object ist ein patient von ** Process %n{nicht} und ** ** Object ist ein patient von ** ** Process %n{nicht} und ** ** Object ist ein fall von Lung %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** Process befindet sich an %n{nicht} und ** ** Process befindet sich an %n{nicht}
(=>     (attribute ?H Pyelonephritis)     (modalAttribute         (exists (?B ?K)             (and                 (instance ?B Bacterium)                 (instance ?K Kidney)                 (part ?K ?H)                 (located ?B ?K))) Likely))	Medicine.kif 5065-5074	Wenn Pyelonephritis ist ein attribut von Object %n{nicht}, dann die Aussage es gibt entity und ** entity um ** entity ist ein fall von Bacterium %n{nicht} und ** ** entity ist ein fall von Kidney %n{nicht} und ** ** entity ist ein teil von ** Object %n{nicht} und ** entity befindet sich an %n{nicht} hat die modale Kraft von Likely
(=>     (attribute ?H Shock)     (exists (?T)         (and             (instance ?T Tissue)             (part ?T ?H)             (not                 (exists (?OB)                     (and                         (attribute ?OB OxygenatedBlood)                         (part ?OB ?T)))))))	Medicine.kif 5796-5806	Wenn Shock ist ein attribut von Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von Tissue %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und es gibt nicht ** Object um OxygenatedBlood ist ein attribut von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (attribute ?HOLE1 Fillable)     (exists (?HOLE2)         (and             (instance ?HOLE2 HoleRegion)             (part ?HOLE1 ?HOLE2))))	Merge.kif 9983-9988	Wenn Fillable ist ein attribut von Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von HoleRegion %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (attribute ?O LevelShape)     (not         (exists (?P1 ?P2 ?T ?H1 ?H2 ?U)             (and                 (top ?T ?O)                 (part ?P1 ?T)                 (part ?P2 ?T)                 (instance ?U UnitOfLength)                 (height ?P1                     (MeasureFn ?H1 ?U))                 (height ?P2                     (MeasureFn ?H2 ?U))                 (greaterThan ?H1 ?H2)))))	Mid-level-ontology.kif 2823-2836	Wenn LevelShape ist ein attribut von SelfConnectedObject %n{nicht}, dann es gibt nicht ** SelfConnectedObject, ** SelfConnectedObject,, , ** SelfConnectedObject,, , RealNumber,, , ** RealNumber, and und UnitOfMeasure um die oberseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject ist ein teil von ** ** SelfConnectedObject %n{nicht} und ** ** SelfConnectedObject ist ein teil von ** ** SelfConnectedObject %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
(=>     (attribute ?OBJ Dry)     (not         (exists (?SUBOBJ)             (and                 (part ?SUBOBJ ?OBJ)                 (attribute ?SUBOBJ Liquid)))))	Merge.kif 18017-18023	Wenn Dry ist ein attribut von Object %n{nicht}, dann es gibt nicht ** Object um ** ** Object ist ein teil von ** Object %n{nicht} und Liquid ist ein attribut von ** ** Object %n{nicht}
(=>     (attribute ?OBJ Wet)     (forall (?PART)         (=>             (part ?PART ?OBJ)             (exists (?SUBPART)                 (and                     (part ?SUBPART ?PART)                     (attribute ?SUBPART Liquid))))))	Merge.kif 18035-18043	Wenn Wet ist ein attribut von Object %n{nicht}, dann fuer alle ** Object wenn ** ** Object ist ein teil von ** Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein teil von ** ** Object %n{nicht} und Liquid ist ein attribut von ** ** Object %n{nicht}
(=>     (attribute ?ORGANISM         (instance ?P             (ParalysisFn ?PART)))     (exists (?MUSCLE)         (and             (instance ?MUSCLE Muscle)             (part ?MUSCLE ?PART)             (part ?PART ?ORGANISM)             (not                 (exists (?MOTION)                     (and                         (instance ?MOTION BodyMotion)                         (agent ?MOTION ?ORGANISM)                         (patient ?MOTION ?MUSCLE)))))))	Mid-level-ontology.kif 6329-6343	Wenn entity ist ein fall von ParalysisFn ** entityART %n{nicht} ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von Muscle %n{nicht} und ** ** Object ist ein teil von ** entityART %n{nicht} und ** entityART ist ein teil von ** AutonomousAgent %n{nicht} und es gibt nicht Process um ** Process ist ein fall von BodyMotion %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Object ist ein patient von ** Process %n{nicht}
(=>     (attribute ?ORGANISM Paralysis)     (exists (?MUSCLE)         (and             (instance ?MUSCLE Muscle)             (part ?MUSCLE ?ORGANISM)             (not                 (exists (?MOTION)                     (and                         (instance ?MOTION BodyMotion)                         (agent ?MOTION ?ORGANISM)                         (patient ?MOTION ?MUSCLE)))))))	Mid-level-ontology.kif 6306-6317	Wenn Paralysis ist ein attribut von AutonomousAgent %n{nicht}, dann es gibt Object um ** Object ist ein fall von Muscle %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und es gibt nicht Process um ** Process ist ein fall von BodyMotion %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein patient von ** Process %n{nicht}
(=>     (attribute ?PERSON Cancer)     (exists (?TUMOR)         (and             (instance ?TUMOR Tumor)             (part ?TUMOR ?PERSON))))	Mid-level-ontology.kif 6295-6300	Wenn Cancer ist ein attribut von Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von Tumor %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}
(=>     (attribute ?X AdjoiningRoom)     (exists (?ROOM ?WALL ?DOOR)         (and             (attribute ?ROOM AdjoiningRoom)             (not                 (equal ?ROOM ?X))             (orientation ?X ?ROOM Adjacent)             (instance ?WALL Wall)             (part ?WALL ?ROOM)             (part ?WALL ?X)             (instance ?DOOR Door)             (part ?DOOR ?WALL))))	Mid-level-ontology.kif 15236-15247	Wenn AdjoiningRoom ist ein attribut von Object %n{nicht}, dann es gibt ** Object, ** Object, and und ** Object um AdjoiningRoom ist ein attribut von ** ** Object %n{nicht} und ** ** Object ist gleich ** Object nicht und ** Object ist Adjacent hinsichlich ** ** Object %n{nicht} und ** ** Object ist ein fall von Wall %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein fall von Door %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (attribute ?X BarberShops)     (hasPurpose ?X         (exists (?HAIR ?HUMAN ?CUT ?STYLIST)             (and                 (instance ?HAIR Hair)                 (part ?HAIR ?HUMAN)                 (instance ?HUMAN Human)                 (instance ?CUT Cutting)                 (patient ?CUT ?HAIR)                 (eventLocated ?CUT ?X)                 (agent ?CUT ?STYLIST)                 (employs ?X ?STYLIST)))))	naics.kif 11934-11946	Wenn BarberShops ist ein attribut von Object %n{nicht}, dann ** Object hat Zweck von es gibt entity, ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Hair %n{nicht} und ** entity ist ein teil von ** ** entity %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und ** ** entity ist ein fall von Cutting %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und eventLocated ** ** entity and ** Object und ** ** entity ist der agent von ** ** entity %n{nicht} und ** Object beschaeftigt ** ** entity %n{nicht} %n{nicht}
(=>     (axis ?AXIS ?OBJ)     (exists (?R)         (and             (instance ?R Rotating)             (part ?AXIS ?OBJ)             (experiencer ?R ?OBJ)             (not                 (exists (?R2)                     (and                         (instance ?R2 Rotating)                         (subProcess ?R2 ?R)                         (experiencer ?R2 ?AXIS)))))))	Mid-level-ontology.kif 17467-17479	Wenn axis AutonomousAgent and ** AutonomousAgent, dann es gibt Process um ** Process ist ein fall von Rotating %n{nicht} und ** AutonomousAgent ist ein teil von ** ** AutonomousAgent %n{nicht} und ** ** AutonomousAgent erfaehrt ** Process %n{nicht} und es gibt nicht ** Process2 um ** Process2 ist ein fall von Rotating %n{nicht} und ** Process2 ist ein subProzess von ** Process und ** AutonomousAgent erfaehrt ** Process2 %n{nicht}
(=>     (climateTypeInArea ?AREA ?CLASS)     (exists (?REGION ?TYPE)         (and             (instance ?REGION GeographicArea)             (instance ?TYPE ?CLASS)             (attribute ?REGION ?TYPE)             (part ?REGION ?AREA))))	Geography.kif 1254-1261	Wenn climateTypeInArea GeographicArea and ** ClimateZone, dann es gibt Object und Attribute um ** Object ist ein fall von GeographicArea %n{nicht} und ** Attribute ist ein fall von ** ClimateZone %n{nicht} und ** Attribute ist ein attribut von ** Object %n{nicht} und ** Object ist ein teil von ** GeographicArea %n{nicht}
(=>     (coilCount ?WC ?N)     (exists (?C ?C2F)         (and             (instance ?C Collection)             (memberCount ?C ?N)             (forall (?M)                 (=>                     (member ?M ?C)                     (and                         (attribute ?M ?C2F)                         (instance ?C2F ClosedTwoDimensionalFigure)                         (part ?M ?WC)                         (not                             (exists (?M2)                                 (and                                     (overlapsSpatially ?M2 ?M)                                     (member ?M2 ?C))))))))))	Cars.kif 3124-3141	Wenn coilCount WireCoil and Integer, dann es gibt Collection und ** Collection2F um ** Collection ist ein fall von Collection %n{nicht} und memberCount ** Collection and ** Integer und fuer alle Object wenn ** Object ist ein Mitglied von ** Collection %n{nicht}, dann ** Collection2F ist ein attribut von ** Object %n{nicht} und ** Collection2F ist ein fall von ClosedTwoDimensionalFigure %n{nicht} und ** Object ist ein teil von ** WireCoil %n{nicht} und es gibt nicht ** Object2 um ** Object2 deckt sich mit ** Object raeumlich %n{nicht} und ** Object2 ist ein Mitglied von ** Collection %n{nicht}
(=>     (completelyFills ?OBJ1 ?HOLE)     (exists (?OBJ2)         (and             (part ?OBJ2 ?OBJ1)             (fills ?OBJ2 ?HOLE))))	Merge.kif 10035-10040	Wenn Object fuellt HoleRegion vollstaendig, dann es gibt ** Object um ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object fuellt ** HoleRegion %n{nicht}
(=>     (electronNumber ?SUBSTANCE ?NUMBER)     (=>         (exists (?ATOM)             (and                 (part ?ATOM ?SUBSTANCE)                 (or                     (instance ?ATOM Atom)                     (instance ?ATOM Molecule))))         (exists (?ELECTRON)             (equal ?NUMBER                 (CardinalityFn                     (KappaFn ?ELECTRON                         (and                             (part ?ELECTRON ?ATOM)                             (instance ?ELECTRON Electron))))))))	Mid-level-ontology.kif 21712-21727	Wenn electronNumber PureSubstance and PositiveInteger, dann wenn es gibt Object um ** Object ist ein teil von ** PureSubstance %n{nicht} und ** Object ist ein fall von Atom %n{nicht} oder ** Object ist ein fall von Molecule %n{nicht}, dann es gibt SymbolicString um ** PositiveInteger ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht}
(=>     (engineCylinders ?E ?N)     (exists (?G ?EC)         (and             (instance ?G Collection)             (memberTypeCount ?G EngineCylinder ?N)             (member ?EC ?G)             (part ?EC ?E))))	Cars.kif 4539-4546	Wenn engineCylinders Engine and NonnegativeInteger, dann es gibt Collection und ** EngineC um ** Collection ist ein fall von Collection %n{nicht} und memberTypeCount ** Collection, EngineCylinder and ** NonnegativeInteger und ** EngineC ist ein Mitglied von ** Collection %n{nicht} und ** EngineC ist ein teil von ** Engine %n{nicht}
(=>     (equal         (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (part ?PLACE ?BUILDING))))	Mid-level-ontology.kif 6720-6726	Wenn StreetAddressFn StationaryArtifact, Roadway, City and Nation ist gleich AutonomousAgent %n{nicht}, dann es gibt Object um ** Object ist ein fall von Building %n{nicht} und ** StationaryArtifact ist ein teil von ** Object %n{nicht}
(=>     (equal ?OBJ3         (MereologicalProductFn ?OBJ1 ?OBJ2))     (forall (?PART)         (<=>             (part ?PART ?OBJ3)             (and                 (part ?PART ?OBJ1)                 (part ?PART ?OBJ2)))))	Merge.kif 9839-9846	Wenn Object ist gleich der durchschnitt von den teilen von ** Object und ** Object %n{nicht}, dann fuer alle ** Object ** ** Object ist ein teil von ** Object %n{nicht} genau dann wenn ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (equal ?OBJ3         (MereologicalSumFn ?OBJ1 ?OBJ2))     (forall (?PART)         (<=>             (part ?PART ?OBJ3)             (or                 (part ?PART ?OBJ1)                 (part ?PART ?OBJ2)))))	Merge.kif 9818-9825	Wenn Object ist gleich die vereinigung von den teilen von ** Object und ** Object %n{nicht}, dann fuer alle ** Object ** ** Object ist ein teil von ** Object %n{nicht} genau dann wenn ** ** Object ist ein teil von ** ** Object %n{nicht} oder ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (equipmentType ?O ?T)     (exists (?D)         (and             (instance ?D ?T)             (or                 (part ?D ?O)                 (connected ?D ?O)))))	Mid-level-ontology.kif 24326-24333	Wenn equipmentType Artifact and ** Device, dann es gibt Object um ** Object ist ein fall von ** Device %n{nicht} und ** Object ist ein teil von ** Artifact %n{nicht} oder ** Object wird an ** Artifact angeschlossen
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