(=>     (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 12003-12014	Wenn antagonistMuscles ** Muskel and ** ** Muskel und Bewegung ist ein fall von Flexion und ** MuskelC ist ein instrument fuer ** Bewegung und moves ** Bewegung and ** ** MuskelC und ** ** MuskelC ist ein fall von ** ** Muskel und ** ** ** MuskelC ist ein fall von ** ** ** Muskel und ** ** MuskelC ist ein teil von ** Gegenstand und ** ** ** MuskelC ist ein teil von ** ** Gegenstand und ** ** Gegenstand ist ein fall von Tier , dann ** ** ** MuskelC ist faehig , 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 33332-33339	Wenn applicableRelation Gegenstand and Relation und ** Gegenstand ist ein fall von ** GegenstandC und die Zahl 1 Argument von ** Relation ist ein fall von ** Kategorie , dann ** GegenstandC ist gleich ** ** Kategorie oder ** GegenstandC ist eine teilkategorie von ** ** Kategorie
(=>     (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 19519-19530	Wenn approximateDiameter selbstverbundener Gegenstand and reelle Zahl ** reelle ZahlM(s) und sphereRadius Gegenstand and ** reelle Zahl und 2.0 ** reelle ZahlM(s) und das mass von ** Gegenstand ist ** reelle Zahl ** Masseinheit(s) und das mass von ** selbstverbundener Gegenstand ist ** reelle Zahl ** ** Masseinheit(s) und ** reelle ZahlM ist ein fall von UnitOfLength und ** ** Masseinheit ist ein fall von UnitOfVolume , dann ** ** reelle Zahl ist gleich ** ** reelle Zahl
(=>     (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 2238-2248	Wenn arableLandArea geographischer Bereich and reelle Zahl Masseinheit(s) und ** reelle Zahl ist groesserAlsOderGleich 0.0 und totalArea ** geographischer Bereich and ** reelle Zahl ** Masseinheit(s) und ** ** reelle Zahl ist ein fall von Bereichmass und ** reelle Zahl ist gleich ** reelle Zahl und ** ** reelle Zahl , dann arableLandArea ** geographischer Bereich and ** ** reelle Zahl ** Masseinheit(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 2250-2264	Wenn arableLandArea geographischer Bereich and reelle Zahl Masseinheit(s) und ** reelle Zahl ist groesserAlsOderGleich 0.0 und totalArea ** geographischer Bereich and ** reelle Zahl ** Masseinheit(s) und ** Masseinheit ist ein fall von UnitOfArea , dann es gibt ** geographischer Bereich um ** ** geographischer Bereich ist ein fall von ArableLand und geographicSubregion ** ** geographischer Bereich and ** geographischer Bereich und das mass von ** ** geographischer Bereich ist ** reelle Zahl und ** ** reelle Zahl ** Masseinheit(s)
(=>     (and         (attribute             (GovernmentFn ?AREA) ?TYPE)         (instance ?TYPE FormOfGovernment))     (governmentType ?AREA ?TYPE))	Government.kif 148-152	Wenn FormOfGovernment ist ein attribut von GovernmentFn geopolitischer Bereich und ** FormOfGovernment ist ein fall von FormOfGovernment , dann governmentType ** geopolitischer Bereich and ** FormOfGovernment
(=>     (and         (attribute ?A ?ATTR)         (instance ?ATTR AlbumAttribute))     (instance ?A Album))	Music.kif 480-484	Wenn Attribut ist ein attribut von Gegenstand und ** Attribut ist ein fall von AlbumAttribute , dann ** Gegenstand ist ein fall von Album
(=>     (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 kognitiver Agent und ** kognitiver AgentJT ist ein fall von AppraisalProcess und ** kognitiver AgentJT ist der agent von ** kognitiver Agent , dann es gibt ** Prozess und ** kognitiver Agent2 um ** ** Prozess ist ein fall von Prozess und ** kognitiver AgentJT umfasst einen hinweis auf ** ** Prozess und ** ** Prozess ist der agent von ** kognitiver Agent2 und ** kognitiver Agent ist gleich ** kognitiver Agent2 nicht und ** kognitiver Agent ist ein patient von ** ** Prozess und ** kognitiver Agent wuenscht ** ** Prozess
(=>     (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 kognitiver Agent und ** kognitiver AgentUJ ist ein fall von AppraisalProcess und ** kognitiver AgentUJ ist der agent von ** kognitiver Agent , dann es gibt ** Prozess und ** kognitiver Agent2 um ** ** Prozess ist ein fall von Prozess und ** kognitiver AgentUJ umfasst einen hinweis auf ** ** Prozess und ** ** Prozess ist der agent von ** kognitiver Agent2 und ** kognitiver Agent ist gleich ** kognitiver Agent2 nicht und ** kognitiver Agent ist ein patient von ** ** Prozess und ** kognitiver Agent wuenscht ** ** Prozess nicht
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 229-236	Wenn Founder ist ein attribut von AutonomousAgent und ** AutonomousAgent ist ein fall von Mensch , dann es gibt Prozess um ** Prozess ist ein fall von Founding und ** Prozess ist der agent von ** AutonomousAgent
(=>     (and         (attribute ?ACCT ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?ACCT UserAccount))	UXExperimentalTerms.kif 648-652	Wenn Attribut ist ein attribut von Gegenstand und ** Attribut ist ein fall von AccountAttribute , dann ** Gegenstand ist ein fall von UserAccount
(=>     (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 765-784	Wenn VoiceActor ist ein attribut von AutonomousAgent und Prozess ist ein fall von DramaticActing und ** Prozess ist der agent von ** AutonomousAgent und ** Prozess ist ein fall von LinguisticCommunication und ** ** Prozess ist der agent von ** AutonomousAgent und ** ** Prozess ist ein subProzess von ** Prozess, dann es gibt nicht ** Prozess und ** AutonomousAgent um ** ** Prozess ist ein fall von Sehen und ** AutonomousAgent ist ein patient von ** ** Prozess und ** ** Prozess ist der agent von ** ** AutonomousAgent und es gibt ** Prozess und ** ** AutonomousAgent um ** ** Prozess ist ein fall von Gehoer und ** AutonomousAgent ist ein patient von ** ** Prozess und ** ** Prozess ist der agent von ** ** AutonomousAgent
(=>     (and         (attribute ?AGENT             (MemberFn ?ORG))         (instance ?AGENT AutonomousAgent)         (instance ?ORG Organization))     (member ?AGENT ?ORG))	Government.kif 1736-1741	Wenn MemberFn Organisation ist ein attribut von Gegenstand und ** Gegenstand ist ein fall von AutonomousAgent und ** Organisation ist ein fall von Organisation , dann ** Gegenstand ist ein Mitglied von ** Organisation
(=>     (and         (attribute ?AREA CommunistState)         (instance ?AREA Nation))     (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 865-869	Wenn CommunistState ist ein attribut von AutonomousAgent und ** AutonomousAgent ist ein fall von Nation , dann economyType ** AutonomousAgent and CentrallyPlannedEconomy
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1377-1384	Wenn Attribut ist ein attribut von AutonomousAgent und ** Attribut ist ein fall von ProfessionalAthlete , dann es gibt Kampf um ** Kampf ist ein fall von Sport und contestParticipant ** Kampf and ** AutonomousAgent
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1371-1375	Wenn Attribut ist ein attribut von AutonomousAgent und ** Attribut ist ein fall von ProfessionalAthlete , dann ** AutonomousAgent hat die F�higkeit, zum Sport zu tun
(=>     (and         (attribute ?DEVICE ?ATTRIBUTE)         (instance ?ATTRIBUTE DeviceAttribute))     (instance ?DEVICE Device))	Mid-level-ontology.kif 2296-2300	Wenn Attribut ist ein attribut von Gegenstand und ** Attribut ist ein fall von DeviceAttribute , dann ** Gegenstand ist ein fall von Geraet
(=>     (and         (attribute ?EXP ?ATTR)         (instance ?ATTR ExperimentAttribute))     (instance ?EXP Experimenting))	UXExperimentalTerms.kif 4407-4411	Wenn Attribut ist ein attribut von Gegenstand und ** Attribut ist ein fall von ExperimentAttribute , dann ** Gegenstand ist ein fall von Experimenting
(=>     (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 Substanz und ** Substanz ist ein fall von Nahrung , dann es gibt nicht ** Substanz um ** ** Substanz ist ein fall von Caffeine und ** ** Substanz ist ein stueck von ** Substanz
(=>     (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 Gegenstand und das mass von ** Gegenstand ist reelle Zahl Masseinheit(s) und FamilyStylePortion ist ein attribut von ** Gegenstand nicht und das mass von ** ** Gegenstand ist ** reelle Zahl ** Masseinheit(s) und ** Gegenstand ist ein fall von Kategorie und ** ** Gegenstand ist ein fall von ** Kategorie und ** Masseinheit ist ein fall von Masseinheit , dann ** reelle Zahl ist groesserAls ** ** reelle Zahl
(=>     (and         (attribute ?G ?H)         (instance ?G Substance)         (instance ?H HazardousMaterialTransportAttribute)         (not             (attribute ?G HazardousExplosives))         (not             (attribute ?G HazardousGases))         (not             (attribute ?G FlammableLiquid))         (not             (attribute ?G FlammableSolid))         (not             (attribute ?G OxidizingSubstance))         (not             (attribute ?G ToxicandInfectiousSubstance))         (not             (attribute ?G RadioactiveSubstance))         (not             (attribute ?G CorrosiveSubstance)))     (equal ?H HazardousMiscellaneous))	Transportation.kif 4330-4343	Wenn Attribut ist ein attribut von Gegenstand und ** Gegenstand ist ein fall von Substanz und ** Attribut ist ein fall von HazardousMaterialTransportAttribute und HazardousExplosives ist ein attribut von ** Gegenstand nicht und HazardousGases ist ein attribut von ** Gegenstand nicht und FlammableLiquid ist ein attribut von ** Gegenstand nicht und FlammableSolid ist ein attribut von ** Gegenstand nicht und OxidizingSubstance ist ein attribut von ** Gegenstand nicht und ToxicandInfectiousSubstance ist ein attribut von ** Gegenstand nicht und RadioactiveSubstance ist ein attribut von ** Gegenstand nicht und CorrosiveSubstance ist ein attribut von ** Gegenstand nicht, dann ** Attribut ist gleich HazardousMiscellaneous
(=>     (and         (attribute ?G CorrosiveSubstance)         (instance ?G Substance))     (capability Corrosion instrument ?G))	Transportation.kif 4248-4252	Wenn CorrosiveSubstance ist ein attribut von Gegenstand und ** Gegenstand ist ein fall von Substanz , dann ** Gegenstand ist faehig , in der Rolle instrument Corrosion zu tun
(=>     (and         (attribute ?G RadioactiveSubstance)         (instance ?G Substance))     (exists (?R)         (and             (instance ?R RadiatingNuclear)             (origin ?R ?G))))	Transportation.kif 4234-4241	Wenn RadioactiveSubstance ist ein attribut von Gegenstand und ** Gegenstand ist ein fall von Substanz , dann es gibt Prozess um ** Prozess ist ein fall von RadiatingNuclear und ** Prozess beginnet an ** Gegenstand
(=>     (and         (attribute ?G ToxicandInfectiousSubstance)         (or             (instance ?G Substance)             (instance ?G Microorganism)))     (exists (?O ?P ?I ?CLASS)         (and             (or                 (instance ?O Human)                 (instance ?O Animal))             (orientation ?G ?O Near)             (or                 (instance ?P Inhaling)                 (instance ?P Ingesting)                 (instance ?P Touching))             (agent ?P ?O)             (patient ?P ?G)             (causes ?P ?I)             (patient ?I ?O)             (instance ?I ?CLASS)             (capability ?CLASS resource ?G)             (or                 (subclass ?CLASS Injuring)                 (subclass ?CLASS Death)))))	Transportation.kif 4203-4227	Wenn ToxicandInfectiousSubstance ist ein attribut von Gegenstand und ** Gegenstand ist ein fall von Substanz oder ** Gegenstand ist ein fall von Mikroorganismus , dann es gibt AutonomousAgent, Prozess,, , ** Prozess, and und ** ** Prozess um ** AutonomousAgent ist ein fall von Mensch oder ** AutonomousAgent ist ein fall von Tier und ** Gegenstand ist Near hinsichlich ** AutonomousAgent und ** Prozess ist ein fall von Inhaling oder ** Prozess ist ein fall von Einnehmen oder ** Prozess ist ein fall von Beruehren und ** Prozess ist der agent von ** AutonomousAgent und ** Gegenstand ist ein patient von ** Prozess und ** Prozess verursacht ** ** Prozess und ** AutonomousAgent ist ein patient von ** ** Prozess und ** ** Prozess ist ein fall von ** ** Prozess und ** Gegenstand ist faehig , in der Rolle hilfsmittel ** ** ** Prozess zu tun und ** ** ** Prozess ist eine teilkategorie von Verletzen oder ** ** ** Prozess ist eine teilkategorie von Tod
(=>     (and         (attribute ?H ?ATHLETE)         (instance ?ATHLETE Athlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 93-97	Wenn AutonomousAgent ist ein attribut von Gegenstand und ** AutonomousAgent ist ein fall von Athlete , dann ** AutonomousAgent hat die F�higkeit, zum Sport zu tun
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