confersRight - Sigma Knowledge base Browser

appearance as argument number 1

(documentation confersRight ChineseLanguage "这是用来表达 Formula、Entity 和 CognitiveAgent 三者之间的一种关系，那就是 Entity 授权于 CognitiveAgent 去实现 Formula 所指的。")	Merge.kif 22206-22208
(documentation confersRight EnglishLanguage "Expresses the relationship between a Formula, an Entity, and a CognitiveAgent when the Entity authorizes the CognitiveAgent to bring it about that the Formula is true.")	Merge.kif 22203-22205
(domain confersRight 1 Formula)	Merge.kif 22200-22200	confersRight の数値 1 引数は公式の instance では %n
(domain confersRight 2 Entity)	Merge.kif 22201-22201	confersRight の数値 2 引数はエンティティーの instance では %n
(domain confersRight 3 CognitiveAgent)	Merge.kif 22202-22202	confersRight の数値 3 引数は認識エージェントの instance では %n
(instance confersRight TernaryPredicate)	Merge.kif 22199-22199	confersRight は 3進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage confersRight "%2 %n{doesn't} 允许 %3 执行 %1 的任务")	chinese_format.kif 203-203
(format EnglishLanguage confersRight "%2 %n{doesn't} allow%p{s} %3 to perform task of the type %1")	english_format.kif 282-282
(format JapaneseLanguage confersRight "%2 は %3 が %1 のタスクを実行することはを allow%p{s} %n{ない}")	english_format.kif 283-283
(relatedInternalConcept confersObligation confersRight)	Merge.kif 22229-22229	confersObligation は confersRight に internally 関連して %n
(termFormat ChineseLanguage confersRight "赋予权利")	domainEnglishFormat.kif 16519-16519	termFormat ChineseLanguage, confersRight and "赋予权利"
(termFormat ChineseTraditionalLanguage confersRight "賦予權利")	domainEnglishFormat.kif 16518-16518	termFormat ChineseTraditionalLanguage, confersRight and "賦予權利"
(termFormat EnglishLanguage confersRight "confers right")	domainEnglishFormat.kif 16517-16517	termFormat EnglishLanguage, confersRight and "confers right"

antecedent

(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT)))	Government.kif 715-720	agreementEffectiveDate Agreement and 時点 Agreement は認識エージェントが公式のタスクを実行することはを allows %n{ない} 時間位置は時点の instance では %n 認識エージェントは公式を実行する right を　持って %n{ない} は時間位置のすぐ after の during holds %n{ない}
(=> (confersRight ?FORMULA ?AGENT1 ?AGENT2) (holdsRight ?FORMULA ?AGENT2))	Merge.kif 22210-22212	エンティティーは認識エージェントが公式のタスクを実行することはを allows %n{ない} 認識エージェントは公式を実行する right を　持って %n{ない}

consequent

(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1103-1121	人［人間］は国民% の citizen では %n UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では %n RegionalLawFn 国民は人［人間］がエンティティーエンティティー and エンティティー人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and エンティティー人［人間］の age はエンティティーではエンティティーはエンティティー greater では　%n エンティティーは ElectionFn 国民の instance では %n エンティティーエンティティーは VotingFn エンティティーの instance では %n 人［人間］はエンティティーの agent では %n のタスクを実行することはを allows %n{ない}
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 477-493	customer 認識エージェント and 認識エージェント propertyAmenity 認識エージェント and 物理物理はオブジェクトの subclass では %n エンティティーは物理の instance では %n 認識エージェントは認識エージェントがエンティティーエンティティーは工程の instance では %n エンティティーはエンティティーの resource では %n エンティティーはエンティティーの instrument では %n エンティティーはエンティティーの patient では %n 認識エージェントはエンティティーの agent では %n 認識エージェントがエンティティーを experiences %n{ない} のタスクを実行することはを allows %n{ない}
(=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST)))) (confersRight (uses ?CUST ?X) ?AGENT ?CUST))	Dining.kif 339-350	facility 認識エージェント and オブジェクト customer 認識エージェント and 認識エージェントエンティティーはオブジェクトの instance では %n 工程工程は意図的なプロセスの instance では %n エンティティーは工程の patient では %n 認識エージェントは工程の agent では %n 認識エージェントは認識エージェントがエンティティーは認識エージェントを uses %n{ない} のタスクを実行することはを allows %n{ない}
(=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 289-308	guest 人［人間］ and 認識エージェント stays 人［人間］ and TemporaryResidence TemporaryResidence は認識エージェントの belongings の element %n TemporaryResidence は TemporaryResidenceOOM の instance では %n roomAmenity TemporaryResidenceOOM and 物理物理はオブジェクトの subclass では %n 物理物理は物理の instance では %n 物理は TemporaryResidence に located して %n 認識エージェントは人［人間］がエンティティー人［人間］はエンティティーの agent では %n 物理はエンティティーの instrument では %n 物理はエンティティーの patient では %n 物理はエンティティーの resource では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))	Transportation.kif 3132-3142	オブジェクトは AOCnumber の instance では %n 認識エージェントは Airline の instance では %n 認識エージェントはオブジェクトを possesses %n{ない} FederalAviationAdministration は認識エージェントがエンティティーエンティティーは AirTransportationService の instance では %n 認識エージェントはエンティティーの間サービスを provides %n{ない} のタスクを実行することはを allows %n{ない}
(=> (and (instance ?AR ArmedReconnaissance) (agent ?AR ?AGENT) (patient ?AR ?HOSTILE) (holdsDuring (WhenFn ?AR) (enemy ?AGENT ?HOSTILE))) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	工程は ArmedReconnaissance の instance では %n 認識エージェントは工程の agent では %n エンティティーは工程の patient では %n enemy 認識エージェント and エンティティーは工程の time の existence の during holds %n{ない} 工程は認識エージェントがエンティティーエンティティーは Attack の instance では %n 認識エージェントはエンティティーの agent では %n エンティティーはエンティティーの patient では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))	Mid-level-ontology.kif 13848-13859	エンティティーは LegalAward の instance では %n エンティティーは工程への reference を includes %n{ない} 工程は訴訟の instance では %n 認識エージェントは工程の agent では %n エンティティーは認識エージェントがエンティティーエンティティー and エンティティーエンティティーは取得の instance では %n 認識エージェントがエンティティーを experiences %n{ない} エンティティーはエンティティーの patient では %n エンティティーの value はエンティティーでは %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (origin ?INHERIT ?PERSON) (patient ?INHERIT ?PROPERTY)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR))))	Mid-level-ontology.kif 16212-16224	工程は Inheriting の instance では %n 認識エージェントは工程の agent では %n 工程は代理(人) から originates %n{ない} エンティティーは工程の patient では %n 工程工程は死の instance では %n 代理(人) が工程を experiences %n{ない} 工程の time の existence は工程の time の existence より earlier happens %n{ない} 代理(人) はエンティティーを possesses %n{ない} は工程の time の existence の immediately before の during holds %n{ない} 代理(人) は認識エージェントが認識エージェントはエンティティーを possesses %n{ない} のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG AirTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?FLY ?PLANE) (and (instance ?FLY Transportation) (or (patient ?FLY ?P) (and (possesses ?P ?OBJ) (patient ?FLY ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?PLANE) (instance ?PLANE Aircraft))) ?MEM ?P))))))	naics.kif 7962-7987	コレクションは組織の instance では %n AirTransportationIndustry はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェント代理(人) は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティー認識エージェントLANE エンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションは認識エージェントLANE を possesses %n{ない} 認識エージェントLANE は Aircraft の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG CouriersAndMessengers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))) ?MEM ?P))))))	naics.kif 8661-8681	コレクションは組織の instance では %n CouriersAndMessengers はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェントエンティティー代理(人) は販売の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG PipelineTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Substance) (possesses ?ORG ?V) (instrument ?T ?PIPE) (instance ?PIPE Pipeline))) ?MEM ?P))))))	naics.kif 8390-8413	コレクションは組織の instance では %n PipelineTransportation はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェント代理(人) は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーは物質の instance では %n コレクションはエンティティーを possesses %n{ない} 認識エージェントIPE はエンティティーの instrument では %n 認識エージェントIPE は Pipeline の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG PostalService)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))) ?MEM ?P))))))	naics.kif 8632-8652	コレクションは組織の instance では %n PostalService はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェントエンティティー代理(人) は販売の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG RailTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?MOVE ?RR) (and (instance ?MOVE Transportation) (or (patient ?MOVE ?P) (and (possesses ?P ?OBJ) (patient ?MOVE ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?RR) (instance ?RR RailVehicle))) ?MEM ?P))))))	naics.kif 8043-8068	コレクションは組織の instance では %n RailTransportation はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェント代理(人) は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションはエンティティーを possesses %n{ない} エンティティーは RailVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG ScenicAndSightseeingTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))) ?MEM ?P))))))	naics.kif 8453-8474	コレクションは組織の instance では %n ScenicAndSightseeingTransportation はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェント代理(人) は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーエンティティーは交通手段の instance では %n エンティティーはレクリエーションまたは運動の instance では %n 認識エージェントはエンティティーの patient では %n コレクションはエンティティーを possesses %n{ない} エンティティーは Vehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG TransitAndGroundPassengerTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V) (and (instance ?T Transportation) (patient ?T ?P) (possesses ?ORG ?V) (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8269-8289	コレクションは組織の instance では %n TransitAndGroundPassengerTransportation はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェント代理(人) は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n コレクションはエンティティーを possesses %n{ない} エンティティーは LandVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG TruckTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object) (possesses ?ORG ?V) (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8178-8200	コレクションは組織の instance では %n TruckTransportation はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェント代理(人) は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションはエンティティーを possesses %n{ない} エンティティーは LandVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG WarehousingAndStorage)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))) ?MEM ?P))))))	naics.kif 8701-8722	コレクションは組織の instance では %n WarehousingAndStorage はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェントエンティティー代理(人) は販売の instance では %n エンティティーはオブジェクトの instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーエンティティーは時間間隔の instance では %n エンティティーは建物の instance では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーに located して %n はエンティティーの during holds %n{ない} のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8089-8114	コレクションは組織の instance では %n WaterTransportationIndustry はコレクションの attribute では %n 代理(人) オブジェクトオブジェクトはコレクションの member では %n 代理(人) はオブジェクトの agent では %n 認識エージェント代理(人) は販売の instance では %n 認識エージェントは人［人間］の instance では %n 認識エージェントは代理(人) の patient では %n オブジェクトは認識エージェントがエンティティーエンティティーエンティティーは交通手段の instance では %n 認識エージェントはエンティティーの patient では %n 認識エージェントはエンティティーを possesses %n{ない} エンティティーはエンティティーの patient では %n エンティティーはオブジェクトの instance では %n コレクションはエンティティーを possesses %n{ない} エンティティーは WaterVehicle の instance では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?STEAL Stealing) (destination ?STEAL ?AGENT) (origin ?STEAL ?VICTIM) (instance ?VICTIM CognitiveAgent)) (not (confersRight (destination ?STEAL ?AGENT) ?VICTIM ?AGENT)))	Mid-level-ontology.kif 16179-16185	工程は Stealing の instance では %n 工程は認識エージェントに ends %n{ない} 工程はオブジェクトから originates %n{ない} オブジェクトは認識エージェントの instance では %n オブジェクトは認識エージェントが工程は認識エージェントに ends %n{ない} のタスクを実行することはを allow ない
(=> (and (instance ?TA_CTRL TerminalAttackControl) (agent ?TA_CTRL ?AGENT1) (patient ?TA_CTRL ?TARGET)) (exists (?AGENT2) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT2) (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2)))	MilitaryProcesses.kif 473-486	エンティティー_CTRL は TerminalAttackControl の instance では %n 代理(人) はエンティティー_CTRL の agent では %n エンティティーRGET はエンティティー_CTRL の patient では %n 認識エージェントエンティティー_CTRL は認識エージェントがエンティティーエンティティーは Attack の instance では %n 認識エージェントはエンティティーの agent では %n エンティティーRGET はエンティティーの patient では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?TA_CTRL TerminalAttackControl) (agent ?TA_CTRL ?AGENT1) (patient ?TA_CTRL ?TARGET)) (not (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT2) (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2)))	MilitaryProcesses.kif 523-536	エンティティー_CTRL は TerminalAttackControl の instance では %n 代理(人) はエンティティー_CTRL の agent では %n エンティティーRGET はエンティティー_CTRL の patient では %n エンティティー_CTRL は認識エージェントがエンティティーエンティティーは Attack の instance では %n 認識エージェントはエンティティーの agent では %n エンティティーRGET はエンティティーの patient では %n のタスクを実行することはを allow ない
(=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring (located ?CUST ?BLDG) (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	TransportDetail.kif 102-119	認識エージェントはオブジェクトを possesses %n{ない} 認識エージェントは CommercialAgent の instance では %n オブジェクトは ParkingLot の instance では %n オブジェクトは建物の instance では %n 認識エージェントはオブジェクトに located して %n customer 認識エージェント and 認識エージェント工程は運転の instance では %n エンティティーは工程の patient では %n 認識エージェントは工程の agent では %n 工程はオブジェクトに ends %n{ない} 認識エージェントは認識エージェントがエンティティーは保持の instance では %n エンティティーはオブジェクトに ends %n{ない} エンティティーはエンティティーの patient では %n のタスクを実行することはを allows %n{ない} は認識エージェントはオブジェクトに located して %n の during holds %n{ない}
(=> (attribute ?X ArtsAndRecreationTicketingServices) (hasPurpose ?X (exists (?SELL ?TICKET) (and (instance ?SELL Selling) (patient ?SELL ?TICKET) (agent ?SELL ?X) (instance ?TICKET Ticket) (destination ?SELL ?CUST) (hasPurpose ?TICKET (confersRight (exists (?WATCH ?PERF) (and (instance ?WATCH Seeing) (agent ?WATCH ?CUST) (patient ?WATCH ?PERF) (or (instance ?PERF Performance) (instance ?PERF Sport)))) ?X ?CUST))))))	Hotel.kif 2294-2313	ArtsAndRecreationTicketingServices はオブジェクトの attribute では %n オブジェクトはエンティティーエンティティーエンティティーは販売の instance では %n エンティティーはエンティティーの patient では %n オブジェクトはエンティティーの agent では %n エンティティーは Ticket の instance では %n エンティティーはエンティティーに ends %n{ない} エンティティーはオブジェクトはエンティティーがエンティティーエンティティーエンティティーは見ることの instance では %n エンティティーはエンティティーの agent では %n エンティティーはエンティティーの patient では %n エンティティーは Performance の instance では %n エンティティーはスポーツの instance では %n のタスクを実行することはを allows %n{ない} の目的 %n{ない} の目的 %n{ない}
(=> (confersObligation ?F ?E ?A) (confersRight ?F ?E ?A))	Law.kif 382-384	エンティティーは認識エージェントにタイプ公式のタスクを実行する obligates %n{ない} エンティティーは認識エージェントが公式のタスクを実行することはを allows %n{ない}
(=> (instance ?INVOICE Invoice) (exists (?NUMBER ?BUYER ?SELLER ?ENT) (and (uniqueIdentifier ?NUMBER ?INVOICE) (buys ?BUYER ?SELLER ?ENT) (confersRight (exists (?SELLING) (and (before (BeginFn (WhenFn ?INVOICE)) (BeginFn (WhenFn ?SELLING))) (instance ?SELLING Selling) (instance ?PRODUCT Product) (objectTransferred ?SELLING ?PRODUCT) (refers ?INVOICE ?PRODUCT) (agent ?SELLING ?SELLER) (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))	Mid-level-ontology.kif 28043-28063	エンティティーは Invoice の instance では %n 記号文字列認識エージェント, 認識エージェント and エンティティー記号文字列の unique の識別子はエンティティーでは %n buys 認識エージェント, 認識エージェント and エンティティー認識エージェントは認識エージェントがエンティティーエンティティーの time の existence の beginning はエンティティーの time の existence の beginning の before に happens %n{ない} エンティティーは販売の instance では %n エンティティーは製品の instance では %n objectTransferred エンティティー and エンティティーエンティティーはエンティティーへの reference を includes %n{ない} 認識エージェントはエンティティーの agent では %n 認識エージェントはエンティティーの patient では %n のタスクを実行することはを allows %n{ない}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: