confersRight - Sigma Knowledge base Browser

appearance as argument number 1

(documentation confersRight ChineseLanguage "这是用来表达 Formula、Entity 和 CognitiveAgent 三者之间的一种关系，那就是 Entity 授权于 CognitiveAgent 去实现 Formula 所指的。")	chinese_format.kif 3895-3897
(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 16200-16202
(domain confersRight 1 Formula)	Merge.kif 16197-16197	domain confersRight, 1 and Formula
(domain confersRight 2 Entity)	Merge.kif 16198-16198	domain confersRight, 2 and Entity
(domain confersRight 3 CognitiveAgent)	Merge.kif 16199-16199	domain confersRight, 3 and CognitiveAgent
(instance confersRight TernaryPredicate)	Merge.kif 16196-16196	instance confersRight and TernaryPredicate

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 207-207
(relatedInternalConcept confersObligation confersRight)	Merge.kif 16221-16221	relatedInternalConcept confersObligation and confersRight
(termFormat ChineseLanguage confersRight "赋予权利")	domainEnglishFormat.kif 16513-16513
(termFormat ChineseTraditionalLanguage confersRight "賦予權利")	domainEnglishFormat.kif 16512-16512
(termFormat EnglishLanguage confersRight "confers right")	domainEnglishFormat.kif 16511-16511

antecedent

(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT)))	Government.kif 708-713	agreementEffectiveDate Agreement and TimePoint confersRight Formula, Agreement and CognitiveAgent instance TimePosition and TimePoint holdsDuring ImmediateFutureFn TimePosition and holdsRight Formula and CognitiveAgent
(=> (confersRight ?FORMULA ?AGENT1 ?AGENT2) (holdsRight ?FORMULA ?AGENT2))	Merge.kif 16204-16206	confersRight Formula, Entity and CognitiveAgent holdsRight Formula and CognitiveAgent

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 1096-1114	citizen Human and Nation subProposition UniversalSuffrageLaw and RegionalLawFn Nation confersRight entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and entity age Human and entity greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (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 480-496	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Object instance Entity and Physical confersRight entity instance entity and Process resource entity and Entity instrument entity and Entity patient entity and Entity agent entity and CognitiveAgent experiencer entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (and (facility ?AGENT ?OBJ) (customer ?CUST ?AGENT) (instance ?X ?OBJ) (desires ?CUST (exists (?PROC) (and (instance ?PROC IntentionalProcess) (patient ?PROC ?X) (agent ?PROC ?CUST))))) (modalAttribute (confersRight (uses ?CUST ?X) ?AGENT ?CUST) Possibility))	Dining.kif 332-346	facility CognitiveAgent and Object customer CognitiveAgent and CognitiveAgent instance Entity and Object desires CognitiveAgent and entity instance entity and IntentionalProcess patient entity and Entity agent entity and CognitiveAgent modalAttribute confersRight uses CognitiveAgent and Entity, CognitiveAgent and CognitiveAgent and Possibility
(=> (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 Human and CognitiveAgent stays Human and TemporaryResidence element TemporaryResidence and PropertyFn CognitiveAgent instance TemporaryResidence and TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Physical subclass Physical and Object Physical instance Physical and Physical located Physical and TemporaryResidence confersRight entity agent entity and Human instrument entity and Physical patient entity and Physical resource entity and Physical, CognitiveAgent and Human
(=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))	Transportation.kif 3166-3176	instance Object and AOCnumber instance CognitiveAgent and Airline possesses CognitiveAgent and Object confersRight entity instance entity and AirTransportationService serviceProvider entity and CognitiveAgent, FederalAviationAdministration and CognitiveAgent
(=> (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	instance Process and ArmedReconnaissance agent Process and CognitiveAgent patient Process and Entity holdsDuring WhenFn Process and enemy CognitiveAgent and Entity confersRight entity instance entity and Attack agent entity and CognitiveAgent patient entity and Entity, Process and CognitiveAgent
(=> (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 13847-13859	instance Entity and LegalAward refers Entity and Process instance Process and LegalAction agent Process and CognitiveAgent confersRight entity entity and entity instance entity and Getting experiencer entity and CognitiveAgent patient entity and entity monetaryValue entity and entity, Entity and CognitiveAgent
(=> (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 16294-16312	instance Process and Inheriting agent Process and CognitiveAgent origin Process and Agent patient Process and Entity Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Process holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and Entity confersRight possesses CognitiveAgent and Entity, Agent and CognitiveAgent
(=> (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 7960-7985	instance Collection and Organization attribute Collection and AirTransportationIndustry Agent Object member Object and Collection agent Object and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity CognitiveAgentLANE instance entity and Transportation patient entity and CognitiveAgent possesses CognitiveAgent and entity patient entity and entity instance entity and Object possesses Collection and CognitiveAgentLANE instance CognitiveAgentLANE and Aircraft, Object and CognitiveAgent
(=> (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 8659-8679	instance Collection and Organization attribute Collection and CouriersAndMessengers Agent Object member Object and Collection agent Object and Agent CognitiveAgent Entity instance Agent and Selling instance Entity and Object instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity instance entity and Transportation possesses CognitiveAgent and Entity patient entity and Entity, Object and CognitiveAgent
(=> (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 8388-8411	instance Collection and Organization attribute Collection and PipelineTransportation Agent Object member Object and Collection agent Object and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and Transportation possesses CognitiveAgent and entity patient entity and entity instance entity and Substance possesses Collection and entity instrument entity and CognitiveAgentIPE instance CognitiveAgentIPE and Pipeline, Object and CognitiveAgent
(=> (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 8630-8650	instance Collection and Organization attribute Collection and PostalService Agent Object member Object and Collection agent Object and Agent CognitiveAgent Entity instance Agent and Selling instance Entity and Object instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity instance entity and Transportation possesses CognitiveAgent and Entity patient entity and Entity, Object and CognitiveAgent
(=> (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 8041-8066	instance Collection and Organization attribute Collection and RailTransportation Agent Object member Object and Collection agent Object and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and Transportation patient entity and CognitiveAgent possesses CognitiveAgent and entity patient entity and entity instance entity and Object possesses Collection and entity instance entity and RailVehicle, Object and CognitiveAgent
(=> (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 8451-8472	instance Collection and Organization attribute Collection and ScenicAndSightseeingTransportation Agent Object member Object and Collection agent Object and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and Transportation instance entity and RecreationOrExercise patient entity and CognitiveAgent possesses Collection and entity instance entity and Vehicle, Object and CognitiveAgent
(=> (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 8267-8287	instance Collection and Organization attribute Collection and TransitAndGroundPassengerTransportation Agent Object member Object and Collection agent Object and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and Transportation patient entity and CognitiveAgent possesses Collection and entity instance entity and LandVehicle, Object and CognitiveAgent
(=> (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 8176-8198	instance Collection and Organization attribute Collection and TruckTransportation Agent Object member Object and Collection agent Object and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and Transportation possesses CognitiveAgent and entity patient entity and entity instance entity and Object possesses Collection and entity instance entity and LandVehicle, Object and CognitiveAgent
(=> (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 8699-8720	instance Collection and Organization attribute Collection and WarehousingAndStorage Agent Object member Object and Collection agent Object and Agent CognitiveAgent Entity instance Agent and Selling instance Entity and Object instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and TimeInterval instance entity and Building possesses CognitiveAgent and Entity holdsDuring entity and located entity and Entity, Object and CognitiveAgent
(=> (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 8087-8112	instance Collection and Organization attribute Collection and WaterTransportationIndustry Agent Object member Object and Collection agent Object and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity entity instance entity and Transportation patient entity and CognitiveAgent possesses CognitiveAgent and entity patient entity and entity instance entity and Object possesses Collection and entity instance entity and WaterVehicle, Object and CognitiveAgent
(=> (and (instance ?STEAL Stealing) (destination ?STEAL ?AGENT) (origin ?STEAL ?VICTIM) (instance ?VICTIM CognitiveAgent)) (not (confersRight (destination ?STEAL ?AGENT) ?VICTIM ?AGENT)))	Mid-level-ontology.kif 16258-16266	instance Process and Stealing destination Process and CognitiveAgent origin Process and Object instance Object and CognitiveAgent confersRight destination Process and CognitiveAgent, Object and CognitiveAgent
(=> (and (instance ?TA_CTRL TerminalAttackControl) (agent ?TA_CTRL ?AGENT1) (patient ?TA_CTRL ?TARGET)) (exists (?AGENT2) (and (not (equal ?AGENT1 ?AGENT2)) (confersRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT2) (patient ?ATTACK ?TARGET))) ?TA_CTRL ?AGENT2))))	MilitaryProcesses.kif 482-498	instance entity_CTRL and TerminalAttackControl agent entity_CTRL and Agent patient entity_CTRL and entityRGET CognitiveAgent equal Agent and CognitiveAgent confersRight entity instance entity and Attack agent entity and CognitiveAgent patient entity and entityRGET, entity_CTRL and CognitiveAgent
(=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	TransportDetail.kif 102-121	possesses CognitiveAgent and Object instance CognitiveAgent and CommercialAgent instance Object and ParkingLot instance Object and Building located CognitiveAgent and Object customer CognitiveAgent and CognitiveAgent holdsDuring TimePosition and located CognitiveAgent and Object instance Process and Driving patient Process and Entity agent Process and CognitiveAgent destination Process and Object holdsDuring TimePosition and confersRight instance entity and Keeping destination entity and Object patient entity and Entity, CognitiveAgent and CognitiveAgent
(=> (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 2299-2318	attribute Object and ArtsAndRecreationTicketingServices hasPurpose Object and entity entity instance entity and Selling patient entity and entity agent entity and Object instance entity and Ticket destination entity and entity hasPurpose entity and confersRight entity entity instance entity and Seeing agent entity and entity patient entity and entity instance entity and Performance instance entity and Sport, Object and entity
(=> (confersObligation ?F ?E ?A) (confersRight ?F ?E ?A))	Law.kif 386-388	confersObligation Formula, Entity and CognitiveAgent confersRight Formula, Entity and CognitiveAgent
(=> (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 28048-28068	instance Entity and Invoice SymbolicString CognitiveAgent, CognitiveAgent and Entity uniqueIdentifier SymbolicString and Entity buys CognitiveAgent, CognitiveAgent and Entity confersRight entity before BeginFn WhenFn Entity and BeginFn WhenFn entity instance entity and Selling instance entity and Product objectTransferred entity and entity refers Entity and entity agent entity and CognitiveAgent patient entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?EV ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?EV ?P) (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 20441-20455	instance Physical and RestaurantBuilding hasPurpose Physical and entity entity, entity, entity and entityAY employs entity and entity possesses entity and Physical instance entity and Human instance entityAY and FinancialTransaction agent entityAY and entity patient entityAY and entity confersRight entity, entity and entity instance entity and Eating agent entity and entity eventLocated entity and Physical

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: