(=>     (and         (antagonistMuscles ?A ?B)         (instance ?E Extension)         (instrument ?E ?AC)         (moves ?E ?BC)         (instance ?AC ?A)         (instance ?BC ?B)         (part ?AC ?H)         (part ?BC ?H)         (instance ?H Animal))     (capability Flexion instrument ?BC))	Mid-level-ontology.kif 10684-10695	Wenn antagonistMuscles ** Muscle and ** ** Muscle und Motion ist ein fall von Extension %n{nicht} und ** MuscleC ist ein instrument fuer ** Motion %n{nicht} und moves ** Motion and ** ** MuscleC und ** ** MuscleC ist ein fall von ** ** Muscle %n{nicht} und ** ** ** MuscleC ist ein fall von ** ** ** Muscle %n{nicht} und ** ** MuscleC ist ein teil von ** Object %n{nicht} und ** ** ** MuscleC ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein fall von Animal %n{nicht}, dann ** ** ** MuscleC ist faehig %n{nicht}, in der Rolle instrument Flexion zu tun
(=>     (and         (antagonistMuscles ?A ?B)         (instance ?F Flexion)         (instrument ?F ?AC)         (moves ?F ?BC)         (instance ?AC ?A)         (instance ?BC ?B)         (part ?AC ?H)         (part ?BC ?H)         (instance ?H Animal))     (capability Extension instrument ?BC))	Mid-level-ontology.kif 10671-10682	Wenn antagonistMuscles ** Muscle and ** ** Muscle und Motion ist ein fall von Flexion %n{nicht} und ** MuscleC ist ein instrument fuer ** Motion %n{nicht} und moves ** Motion and ** ** MuscleC und ** ** MuscleC ist ein fall von ** ** Muscle %n{nicht} und ** ** ** MuscleC ist ein fall von ** ** ** Muscle %n{nicht} und ** ** MuscleC ist ein teil von ** Object %n{nicht} und ** ** ** MuscleC ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein fall von Animal %n{nicht}, dann ** ** ** MuscleC ist faehig %n{nicht}, in der Rolle instrument Extension zu tun
(=>     (and         (applicableRelation ?O ?R)         (instance ?O ?OC)         (domain ?R 1 ?DC))     (or         (equal ?OC ?DC)         (subclass ?OC ?DC)))	Mid-level-ontology.kif 31383-31390	Wenn applicableRelation Object and Relation und ** Object ist ein fall von ** ObjectC %n{nicht} und die Zahl 1 Argument von ** Relation ist ein fall von ** Class %n{nicht}, dann ** ObjectC ist gleich ** ** Class %n{nicht} oder ** ObjectC ist eine teilkategorie von ** ** Class
(=>     (and         (approximateDiameter ?O             (MeasureFn ?L ?LM))         (sphereRadius ?S             (MeasureFn                 (DivisionFn ?L 2.0) ?LM))         (measure ?S             (MeasureFn ?V1 ?VM))         (measure ?O             (MeasureFn ?V2 ?VM))         (instance ?LM UnitOfLength)         (instance ?VM UnitOfVolume))     (equal ?V1 ?V2))	Mid-level-ontology.kif 17947-17958	Wenn approximateDiameter SelfConnectedObject and RealNumber ** RealNumberM(s) und sphereRadius Object and ** RealNumber und 2.0 ** RealNumberM(s) und das mass von ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und das mass von ** SelfConnectedObject ist ** RealNumber ** ** UnitOfMeasure(s) %n{nicht} und ** RealNumberM ist ein fall von UnitOfLength %n{nicht} und ** ** UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann ** ** RealNumber ist gleich ** ** RealNumber %n{nicht}
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?TOTAL AreaMeasure)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?TOTAL)))     (arableLandArea ?REGION         (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2080-2090	Wenn arableLandArea GeographicArea and RealNumber UnitOfMeasure(s) und ** RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea ** GeographicArea and ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist ein fall von AreaMeasure %n{nicht} und ** RealNumber ist gleich ** RealNumber und ** ** RealNumber %n{nicht}, dann arableLandArea ** GeographicArea and ** ** RealNumber ** UnitOfMeasure(s)
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?ARABLE)         (and             (instance ?ARABLE ArableLand)             (geographicSubregion ?ARABLE ?REGION)             (measure ?ARABLE                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2092-2106	Wenn arableLandArea GeographicArea and RealNumber UnitOfMeasure(s) und ** RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea ** GeographicArea and ** RealNumber ** UnitOfMeasure(s) und ** UnitOfMeasure ist ein fall von UnitOfArea %n{nicht}, dann es gibt ** GeographicArea um ** ** GeographicArea ist ein fall von ArableLand %n{nicht} und geographicSubregion ** ** GeographicArea and ** GeographicArea und das mass von ** ** GeographicArea ist ** RealNumber und ** ** RealNumber ** UnitOfMeasure(s) %n{nicht}
(=>     (and         (attribute             (GovernmentFn ?AREA) ?TYPE)         (instance ?TYPE FormOfGovernment))     (governmentType ?AREA ?TYPE))	Government.kif 148-152	Wenn FormOfGovernment ist ein attribut von GovernmentFn GeopoliticalArea %n{nicht} und ** FormOfGovernment ist ein fall von FormOfGovernment %n{nicht}, dann governmentType ** GeopoliticalArea and ** FormOfGovernment
(=>     (and         (attribute ?A ?ATTR)         (instance ?ATTR AlbumAttribute))     (instance ?A Album))	Music.kif 478-482	Wenn Attribute ist ein attribut von Object %n{nicht} und ** Attribute ist ein fall von AlbumAttribute %n{nicht}, dann ** Object ist ein fall von Album %n{nicht}
(=>     (and         (attribute ?A AppraisalAsJustTreatment)         (instance ?AJT AppraisalProcess)         (agent ?AJT ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AJT ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (wants ?A ?P))))	emotion.kif 374-387	Wenn AppraisalAsJustTreatment ist ein attribut von CognitiveAgent %n{nicht} und ** CognitiveAgentJT ist ein fall von AppraisalProcess %n{nicht} und ** CognitiveAgentJT ist der agent von ** CognitiveAgent %n{nicht}, dann es gibt ** Process und ** CognitiveAgent2 um ** ** Process ist ein fall von Process %n{nicht} und ** CognitiveAgentJT umfasst einen hinweis auf ** ** Process und ** ** Process ist der agent von ** CognitiveAgent2 %n{nicht} und ** CognitiveAgent ist gleich ** CognitiveAgent2 nicht und ** CognitiveAgent ist ein patient von ** ** Process %n{nicht} und ** CognitiveAgent wuenscht ** ** Process %n{nicht}
(=>     (and         (attribute ?A AppraisalAsUnjustTreatment)         (instance ?AUJ AppraisalProcess)         (agent ?AUJ ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AUJ ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (not                 (wants ?A ?P)))))	emotion.kif 349-363	Wenn AppraisalAsUnjustTreatment ist ein attribut von CognitiveAgent %n{nicht} und ** CognitiveAgentUJ ist ein fall von AppraisalProcess %n{nicht} und ** CognitiveAgentUJ ist der agent von ** CognitiveAgent %n{nicht}, dann es gibt ** Process und ** CognitiveAgent2 um ** ** Process ist ein fall von Process %n{nicht} und ** CognitiveAgentUJ umfasst einen hinweis auf ** ** Process und ** ** Process ist der agent von ** CognitiveAgent2 %n{nicht} und ** CognitiveAgent ist gleich ** CognitiveAgent2 nicht und ** CognitiveAgent ist ein patient von ** ** Process %n{nicht} und ** CognitiveAgent wuenscht ** ** Process nicht
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 223-230	Wenn Founder ist ein attribut von AutonomousAgent %n{nicht} und ** AutonomousAgent ist ein fall von Human %n{nicht}, dann es gibt Process um ** Process ist ein fall von Founding %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht}
(=>     (and         (attribute ?ACCT ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?ACCT UserAccount))	UXExperimentalTerms.kif 648-652	Wenn Attribute ist ein attribut von Object %n{nicht} und ** Attribute ist ein fall von AccountAttribute %n{nicht}, dann ** Object ist ein fall von UserAccount %n{nicht}
(=>     (and         (attribute ?ACTOR VoiceActor)         (instance ?DRAMA DramaticActing)         (agent ?DRAMA ?ACTOR)         (instance ?SPEAK LinguisticCommunication)         (agent ?SPEAK ?ACTOR)         (subProcess ?SPEAK ?DRAMA))     (and         (not             (exists (?S ?VIEWER)                 (and                     (instance ?S Seeing)                     (patient ?S ?ACTOR)                     (agent ?S ?VIEWER))))         (exists (?H ?VIEWER)             (and                 (instance ?H Hearing)                 (patient ?H ?ACTOR)                 (agent ?H ?VIEWER)))))	Biography.kif 757-776	Wenn VoiceActor ist ein attribut von AutonomousAgent %n{nicht} und Process ist ein fall von DramaticActing %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process ist ein fall von LinguisticCommunication %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist ein subProzess von ** Process, dann es gibt nicht ** Process und ** AutonomousAgent um ** ** Process ist ein fall von Seeing %n{nicht} und ** AutonomousAgent ist ein patient von ** ** Process %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und es gibt ** Process und ** ** AutonomousAgent um ** ** Process ist ein fall von Hearing %n{nicht} und ** AutonomousAgent ist ein patient von ** ** Process %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht}
(=>     (and         (attribute ?AGENT             (MemberFn ?ORG))         (instance ?AGENT AutonomousAgent)         (instance ?ORG Organization))     (member ?AGENT ?ORG))	Government.kif 1774-1779	Wenn MemberFn Organization ist ein attribut von Object %n{nicht} und ** Object ist ein fall von AutonomousAgent %n{nicht} und ** Organization ist ein fall von Organization %n{nicht}, dann ** Object ist ein Mitglied von ** Organization %n{nicht}
(=>     (and         (attribute ?AREA CommunistState)         (instance ?AREA Nation))     (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 865-869	Wenn CommunistState ist ein attribut von AutonomousAgent %n{nicht} und ** AutonomousAgent ist ein fall von Nation %n{nicht}, dann economyType ** AutonomousAgent and CentrallyPlannedEconomy
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1364-1371	Wenn Attribute ist ein attribut von AutonomousAgent %n{nicht} und ** Attribute ist ein fall von ProfessionalAthlete %n{nicht}, dann es gibt Contest um ** Contest ist ein fall von Sport %n{nicht} und contestParticipant ** Contest and ** AutonomousAgent
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1358-1362	Wenn Attribute ist ein attribut von AutonomousAgent %n{nicht} und ** Attribute ist ein fall von ProfessionalAthlete %n{nicht}, dann ** AutonomousAgent hat die F�higkeit, zum Sport zu tun %n{nicht}
(=>     (and         (attribute ?DEVICE ?ATTRIBUTE)         (instance ?ATTRIBUTE DeviceAttribute))     (instance ?DEVICE Device))	Mid-level-ontology.kif 1833-1837	Wenn Attribute ist ein attribut von Object %n{nicht} und ** Attribute ist ein fall von DeviceAttribute %n{nicht}, dann ** Object ist ein fall von Device %n{nicht}
(=>     (and         (attribute ?EXP ?ATTR)         (instance ?ATTR ExperimentAttribute))     (instance ?EXP Experimenting))	UXExperimentalTerms.kif 4407-4411	Wenn Attribute ist ein attribut von Object %n{nicht} und ** Attribute ist ein fall von ExperimentAttribute %n{nicht}, dann ** Object ist ein fall von Experimenting %n{nicht}
(=>     (and         (attribute ?F DecafAttribute)         (instance ?F Food))     (not         (exists (?C)             (and                 (instance ?C Caffeine)                 (piece ?C ?F)))))	Food.kif 437-445	Wenn DecafAttribute ist ein attribut von Substance %n{nicht} und ** Substance ist ein fall von Food %n{nicht}, dann es gibt nicht ** Substance um ** ** Substance ist ein fall von Caffeine %n{nicht} und ** ** Substance ist ein stueck von ** Substance %n{nicht}
(=>     (and         (attribute ?FOOD1 FamilyStylePortion)         (measure ?FOOD1             (MeasureFn ?MEAS1 ?U))         (not             (attribute ?FOOD2 FamilyStylePortion))         (measure ?FOOD2             (MeasureFn ?MEAS2 ?U))         (instance ?FOOD1 ?CLASS)         (instance ?FOOD2 ?CLASS)         (instance ?U UnitOfMeasure))     (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1165-1176	Wenn FamilyStylePortion ist ein attribut von Object %n{nicht} und das mass von ** Object ist RealNumber UnitOfMeasure(s) %n{nicht} und FamilyStylePortion ist ein attribut von ** Object nicht und das mass von ** ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** Object ist ein fall von Class %n{nicht} und ** ** Object ist ein fall von ** Class %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfMeasure %n{nicht}, dann ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
(=>     (and         (attribute ?H ?D)         (diseaseTreatment ?D ?P)         (instance ?TP TherpeuticProcess)         (agent ?TP ?DOC)         (patient ?TP ?H)         (attribute ?DOC MedicalDoctor))     (modalAttribute         (instance ?TP ?P) Possibility))	Medicine.kif 5824-5834	Wenn DiseaseOrSyndrome ist ein attribut von Object %n{nicht} und diseaseTreatment ** DiseaseOrSyndrome and ** TherapeuticProcess und Process ist ein fall von TherpeuticProcess %n{nicht} und ** Process ist der agent von ** DiseaseOrSyndromeOC %n{nicht} und ** Object ist ein patient von ** Process %n{nicht} und MedicalDoctor ist ein attribut von ** DiseaseOrSyndromeOC %n{nicht}, dann die Aussage ** Process ist ein fall von ** TherapeuticProcess %n{nicht} hat die modale Kraft von Possibility
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Female)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 12))	Medicine.kif 172-187	Wenn Anemia ist ein attribut von Object %n{nicht} und ** Object ist ein fall von Blood %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Female ist ein attribut von ** Object %n{nicht} und das mass von ** ** Object ist 0.1 Liter(s) %n{nicht} und ** ObjectE ist ein fall von Hemoglobin %n{nicht} und ** ObjectE ist ein teil von ** ** Object %n{nicht} und ** ObjectE2 ist ein fall von Hemoglobin nicht und ** ObjectE ist gleich ** ObjectE2 nicht und ** Object2 ist ein teil von ** ** Object %n{nicht} und das mass von ** ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist kleinerAls 12 %n{nicht}
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Male)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 13))	Medicine.kif 155-170	Wenn Anemia ist ein attribut von Object %n{nicht} und ** Object ist ein fall von Blood %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Male ist ein attribut von ** Object %n{nicht} und das mass von ** ** Object ist 0.1 Liter(s) %n{nicht} und ** ObjectE ist ein fall von Hemoglobin %n{nicht} und ** ObjectE ist ein teil von ** ** Object %n{nicht} und ** ObjectE2 ist ein fall von Hemoglobin nicht und ** ObjectE ist gleich ** ObjectE2 nicht und ** Object2 ist ein teil von ** ** Object %n{nicht} und das mass von ** ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist kleinerAls 13 %n{nicht}
(=>     (and         (attribute ?H1 ADHD)         (not             (attribute ?H2 ADHD))         (not             (equal ?H1 ?H2))         (instance ?I1 ?IC)         (instance ?I2 ?IC)         (subclass ?IC IntentionalPsychologicalProcess)         (agent ?I1 ?H1)         (agent ?I2 ?H2)         (duration             (WhenFn ?I1) ?D1)         (duration             (WhenFn ?I2) ?D2))     (modalAttribute         (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3984-4004	Wenn ADHD ist ein attribut von AutonomousAgent %n{nicht} und ADHD ist ein attribut von ** AutonomousAgent nicht und ** AutonomousAgent ist gleich ** ** AutonomousAgent nicht und Process ist ein fall von Class %n{nicht} und ** Process ist ein fall von ** Class %n{nicht} und ** Class ist eine teilkategorie von IntentionalPsychologicalProcess und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und dauer von die zeit des Bestehens von ** Process ist TimeDuration %n{nicht} und dauer von die zeit des Bestehens von ** ** Process ist ** TimeDuration %n{nicht}, dann die Aussage ** ** TimeDuration ist groesserAls ** TimeDuration %n{nicht} hat die modale Kraft von Likely
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