(=>     (holdsDuring ?T1         (and             (member ?AGENT1 Public)             (member ?AGENT2 Public)             (not                 (equal ?AGENT1 ?AGENT2))))     (exists (?INTEREST)         (holdsDuring ?T1             (and                 (desires ?AGENT1 ?INTEREST)                 (desires ?AGENT2 ?INTEREST)))))	Mid-level-ontology.kif 26068-26079	Wenn entity ist ein Mitglied von Public %n{nicht} und ** entity ist ein Mitglied von Public %n{nicht} und ** entity ist gleich ** ** entity nicht haelt waehrend TimePosition %n{nicht}, dann es gibt ** entity um ** entity wuenscht ** ** entity %n{nicht} und ** ** entity wuenscht ** ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (hopes ?AGENT ?FORMULA)     (desires ?AGENT ?FORMULA))	Mid-level-ontology.kif 7403-7405	Wenn hopes CognitiveAgent and Formula, dann ** CognitiveAgent wuenscht ** Formula %n{nicht}
(=>     (inhibits ?A ?P)     (desires ?A         (not             (exists (?I)                 (instance ?I ?P)))))	Mid-level-ontology.kif 18370-18375	Wenn CognitiveAgent hemmt ** Process, dann ** CognitiveAgent wuenscht es gibt nicht entity um ** entity ist ein fall von ** Process %n{nicht} %n{nicht}
(=>     (instance ?AW ArtWork)     (hasPurpose ?AW         (exists (?H)             (and                 (instance ?H Human)                 (desires ?H                     (exists (?P)                         (and                             (instance ?P Perception)                             (experiencer ?P ?H)                             (patient ?P ?AW))))))))	Merge.kif 15876-15887	Wenn Physical ist ein fall von ArtWork %n{nicht}, dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von Human %n{nicht} und ** entity wuenscht es gibt ** entity um ** ** entity ist ein fall von Perception %n{nicht} und ** entity erfaehrt ** ** entity %n{nicht} und ** Physical ist ein patient von ** ** entity %n{nicht} %n{nicht} %n{nicht}
(=>     (instance ?BRD BusinessRequirementDocument)     (exists (?PLAN ?BU ?PROC)         (and             (instance ?PLAN Plan)             (instance ?BU Business)             (instance ?PROC Process)             (represents ?PLAN ?PROC)             (desires ?BU ?PROC)             (containsInformation ?BRD ?PLAN))))	UXExperimentalTerms.kif 2596-2605	Wenn ContentBearingPhysical ist ein fall von BusinessRequirementDocument %n{nicht}, dann es gibt Proposition, CognitiveAgent, and und Formula um ** Proposition ist ein fall von Plan %n{nicht} und ** CognitiveAgent ist ein fall von Business %n{nicht} und ** Formula ist ein fall von Process %n{nicht} und ** Proposition drueckt ** Formula aus und ** CognitiveAgent wuenscht ** Formula %n{nicht} und ** ContentBearingPhysical enthaelt Informationen ueber ** Proposition
(=>     (instance ?P Phishing)     (exists (?FS ?V ?M ?I)         (and             (instance ?M Communication)             (origin ?M ?FS)             (agent ?P ?FS)             (destination ?M ?V)             (instance ?I Formula)             (knows ?V ?I)             (not                 (desires ?V                     (knows ?FS ?I)))             (desires ?FS                 (knows ?FS ?I)))))	ComputingBrands.kif 4235-4249	Wenn Process ist ein fall von Phishing %n{nicht}, dann es gibt CognitiveAgent, ** CognitiveAgent,, , ** Process, and und Formula um ** ** Process ist ein fall von Communication %n{nicht} und ** ** Process beginnet an ** CognitiveAgent %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** ** Process endet an ** ** CognitiveAgent %n{nicht} und ** Formula ist ein fall von Formula %n{nicht} und ** ** CognitiveAgent kennt ** Formula %n{nicht} und ** ** CognitiveAgent wuenscht ** CognitiveAgent kennt ** Formula %n{nicht} nicht und ** CognitiveAgent wuenscht ** CognitiveAgent kennt ** Formula %n{nicht} %n{nicht}
(=>     (instance ?P Prompting)     (exists (?H ?A)         (and             (destination ?P ?H)             (agent ?P ?A)             (desires ?A                 (exists (?LC)                     (and                         (instance ?LC LinguisticCommunication)                         (agent ?LC ?H)                         (earlier ?P ?LC)                         (subsumesContentInstance ?LC ?P)))))))	Mid-level-ontology.kif 29698-29710	Wenn Process ist ein fall von Prompting %n{nicht}, dann es gibt Entity und CognitiveAgent um ** Process endet an ** Entity %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** CognitiveAgent wuenscht es gibt ** entity um ** ** entity ist ein fall von LinguisticCommunication %n{nicht} und ** ** entity ist der agent von ** Entity %n{nicht} und ** Process geschieht frueh als ** ** entity %n{nicht} und ** ** entity fasst das Inhalt von ** Process zusammen %n{nicht}
(=>     (instance ?S Sieve)     (hasPurpose ?S         (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)             (and                 (instance ?REMOVE Removing)                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (part ?SUB ?MIX)                 (patient ?REMOVE ?SUB)                 (part ?HOLE ?S)                 (instrument ?REMOVE ?HOLE)                 (instance ?A Human)                 (agent ?REMOVE ?A)                 (not                     (desires ?A ?SUB))))))	Mid-level-ontology.kif 4528-4543	Wenn Physical ist ein fall von Sieve %n{nicht}, dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** PhysicalUB,, , ** entity, and und ** entity um ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein fall von Mixture %n{nicht} und ** PhysicalUB ist ein fall von Substance %n{nicht} und ** PhysicalUB ist ein teil von ** ** entity %n{nicht} und ** PhysicalUB ist ein patient von ** entity %n{nicht} und ** ** entity ist ein teil von ** Physical %n{nicht} und ** ** entity ist ein instrument fuer ** entity %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und ** entity ist der agent von ** ** entity %n{nicht} und ** ** entity wuenscht ** PhysicalUB nicht %n{nicht}
(=>     (instance ?X         (AbortedFn ?A ?P))     (exists (?T)         (and             (holdsDuring ?T                 (desires ?A                     (exists (?PR)                         (and                             (instance ?PR ?P)                             (agent ?PR ?A)))))             (earlier ?T                 (WhenFn ?X)))))	MilitaryProcesses.kif 2417-2428	Wenn Physical ist ein fall von AbortedFn AutonomousAgent and Process %n{nicht}, dann es gibt TimeInterval um ** AutonomousAgent wuenscht es gibt ** ProcessR um ** ProcessR ist ein fall von ** Process %n{nicht} und ** ProcessR ist der agent von ** AutonomousAgent %n{nicht} %n{nicht} haelt waehrend ** TimeInterval %n{nicht} und ** TimeInterval geschieht frueh als die zeit des Bestehens von ** Physical %n{nicht}
(=>     (plays ?G ?A)     (desires ?A         (and             (instance ?S Score)             (subProcess ?S ?G)             (agent ?S ?A))))	ComputingBrands.kif 1710-1716	Wenn plays Game and CognitiveAgent, dann ** CognitiveAgent wuenscht entity ist ein fall von Score %n{nicht} und ** entity ist ein subProzess von ** Game und ** entity ist der agent von ** CognitiveAgent %n{nicht} %n{nicht}
(=>     (plays ?G ?A)     (desires ?A         (exists (?S)             (achievement ?G ?A ?S))))	ComputingBrands.kif 1671-1675	Wenn plays Game and CognitiveAgent, dann ** CognitiveAgent wuenscht es gibt entity um achievement ** Game, ** CognitiveAgent and ** entity %n{nicht}
(=>     (prohibits ?A ?F)     (desires ?A         (not ?F)))	Law.kif 55-58	Wenn prohibits CognitiveAgent and Formula, dann ** CognitiveAgent wuenscht ** Formula %n{nicht}
(=>     (shortage ?A ?O ?C ?T ?Q)     (desires ?A         (exists (?I)             (and                 (instance ?I ?O)                 (possesses ?A ?I)))))	Mid-level-ontology.kif 30878-30884	Wenn shortage CognitiveAgent, ** Object, CurrencyMeasure, TimeInterval and Quantity, dann ** CognitiveAgent wuenscht es gibt entity um ** entity ist ein fall von ** Object %n{nicht} und ** CognitiveAgent besitzt ** entity %n{nicht} %n{nicht}
(=>     (webSeller ?SELLER ?SITE)     (desires ?SELLER         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (agent ?SELLING ?SELLER)))))	UXExperimentalTerms.kif 967-973	Wenn webSeller Human and WebSite, dann ** Human wuenscht es gibt entity um ** entity ist ein fall von Selling %n{nicht} und ** entity ist der agent von ** Human %n{nicht} %n{nicht}

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