(<=>     (attribute ?INDIVIDUAL Taoist)     (member ?INDIVIDUAL Taoism))	People.kif 1502-1504	Taoist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Taoism %n{nicht}
(<=>     (attribute ?INDIVIDUAL Zoroastrian)     (member ?INDIVIDUAL Zoroastrianism))	People.kif 1517-1519	Zoroastrian ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Zoroastrianism %n{nicht}
(<=>     (attribute ?MUSIC PolyphonicMusic)     (exists (?PART1 ?PART2)         (and             (instance ?MUSIC MakingMusic)             (instance ?PART1 MakingMusic)             (instance ?PART2 MakingMusic)             (subProcess ?PART1 ?MUSIC)             (subProcess ?PART2 ?MUSIC)             (not                 (equal ?PART1 ?PART2))             (cooccur ?PART1 ?MUSIC)             (cooccur ?PART2 ?MUSIC))))	Mid-level-ontology.kif 751-762	PolyphonicMusic ist ein attribut von Object %n{nicht} genau dann wenn es gibt Process und ** Process um ** Object ist ein fall von MakingMusic %n{nicht} und ** Process ist ein fall von MakingMusic %n{nicht} und ** ** Process ist ein fall von MakingMusic %n{nicht} und ** Process ist ein subProzess von ** Object und ** ** Process ist ein subProzess von ** Object und ** Process ist gleich ** ** Process nicht und ** Process geschiecht gleichzeitig mit ** Object %n{nicht} und ** ** Process geschiecht gleichzeitig mit ** Object %n{nicht}
(<=>     (attribute ?Q Queen)     (or         (attribute ?Q QueenRegnant)         (attribute ?Q QueenConsort)))	Government.kif 1400-1404	Queen ist ein attribut von Object %n{nicht} genau dann wenn QueenRegnant ist ein attribut von ** Object %n{nicht} oder QueenConsort ist ein attribut von ** Object %n{nicht}
(<=>     (attribute ?WATER OpenSea)     (exists (?LAND ?DIST)         (and             (instance ?WATER SaltWaterArea)             (not                 (instance ?WATER LandlockedWater))             (distance ?LAND ?WATER                 (MeasureFn ?DIST NauticalMile))             (greaterThan ?DIST 5.0))))	Geography.kif 4711-4720	OpenSea ist ein attribut von Object %n{nicht} genau dann wenn es gibt Physical und RealNumber um ** Object ist ein fall von SaltWaterArea %n{nicht} und ** Object ist ein fall von LandlockedWater nicht und der abstand zwischen ** Physical und ** Object ist ** RealNumber NauticalMile(s) und ** RealNumber ist groesserAls 5.0 %n{nicht}
(<=>     (holdsDuring ?T         (attribute ?A Barefoot))     (holdsDuring ?T         (not             (exists (?S)                 (and                     (instance ?S Shoe)                     (wears ?A ?S))))))	Mid-level-ontology.kif 30132-30140	Barefoot ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Shoe %n{nicht} und wears ** entity and ** ** entity haelt waehrend ** TimePosition %n{nicht}
(<=>     (holdsDuring ?T         (attribute ?A Naked))     (holdsDuring ?T         (not             (exists (?C)                 (and                     (instance ?C Clothing)                     (wears ?A ?C))))))	Mid-level-ontology.kif 30145-30153	Naked ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und wears ** entity and ** ** entity haelt waehrend ** TimePosition %n{nicht}
(<=>     (holdsDuring ?T         (attribute ?H Alone))     (not         (exists (?H2 ?SI)             (and                 (not                     (equal ?H ?H2))                 (instance ?H2 AutonomousAgent)                 (instance ?SI SocialInteraction)                 (during                     (WhenFn ?SI) ?T)                 (involvedInEvent ?SI ?H)                 (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 30223-30236	Alone ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht ** Entity2 und Process um ** Entity ist gleich ** Entity2 nicht und ** Entity2 ist ein fall von AutonomousAgent %n{nicht} und ** Process ist ein fall von SocialInteraction %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und involvedInEvent ** Process and ** Entity und involvedInEvent ** Process and ** Entity2
(<=>     (holdsDuring ?T         (attribute ?P Mute))     (not         (exists (?S)             (and                 (instance ?S Speaking)                 (during                     (WhenFn ?S) ?T)                 (agent ?S ?P)))))	Mid-level-ontology.kif 30271-30279	Mute ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht Process um ** Process ist ein fall von Speaking %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht}
(<=>     (holdsDuring ?TIME         (attribute ?AGENT LegalAgent))     (holdsDuring ?TIME         (or             (capability LegalAction agent ?AGENT)             (capability LegalAction patient ?AGENT))))	Merge.kif 1601-1607	LegalAgent ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn ** entity ist faehig %n{nicht}, in der Rolle agent LegalAction zu tun oder ** entity ist faehig %n{nicht}, in der Rolle patient LegalAction zu tun haelt waehrend ** TimePosition %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 ?AC TwoFactorAuthentication)         (loggedInDuring ?A ?AC ?T))     (exists (?TF)         (and             (instance ?TF TwoFactorLoggingIn)             (agent ?TF ?A)             (accountUsed ?TF ?AC)             (earlier                 (WhenFn ?TF) ?T))))	ComputingBrands.kif 4373-4382	Wenn TwoFactorAuthentication ist ein attribut von UserAccount %n{nicht} und loggedInDuring AutonomousAgent, ** UserAccount and TimeInterval, dann es gibt ** TimeIntervalF um ** TimeIntervalF ist ein fall von TwoFactorLoggingIn %n{nicht} und ** TimeIntervalF ist der agent von ** AutonomousAgent %n{nicht} und accountUsed ** TimeIntervalF and ** UserAccount und die zeit des Bestehens von ** TimeIntervalF geschieht frueh als ** TimeInterval %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 ?AREA FlatTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.005 ?SLOPE))	Geography.kif 1754-1759	Wenn FlatTerrain ist ein attribut von Object %n{nicht} und LandArea ist ein teil von ** Object %n{nicht} und slopeGradient ** LandArea and NonnegativeRealNumber, dann 0.005 ist groesserAls ** NonnegativeRealNumber %n{nicht}
(=>     (and         (attribute ?AREA HighIncomeCountry)         (not             (member ?AREA OrganizationOfPetroleumExportingCountries)))     (economyType ?AREA DevelopedCountry))	Economy.kif 506-510	Wenn HighIncomeCountry ist ein attribut von AutonomousAgent %n{nicht} und ** AutonomousAgent ist ein Mitglied von OrganizationOfPetroleumExportingCountries nicht, dann economyType ** AutonomousAgent and DevelopedCountry
(=>     (and         (attribute ?AREA LowTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.03 ?SLOPE))	Geography.kif 1766-1771	Wenn LowTerrain ist ein attribut von Object %n{nicht} und LandArea ist ein teil von ** Object %n{nicht} und slopeGradient ** LandArea and NonnegativeRealNumber, dann 0.03 ist groesserAls ** NonnegativeRealNumber %n{nicht}
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1363-1370	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 1357-1361	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}
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