| appearance as argument number 1 |
|
| s__documentation(s__agent__m,s__ChineseLanguage,'(agent ?PROCESS ?AGENT) 的意思是 ?AGENT，不管它 有没有生命，也不管他有没有自主意图，它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如：在以下 夏娃咬了一口苹果这命题中，夏娃是个 agent。') | Merge.kif 2571-2573 | |
| s__documentation(s__agent__m,s__EnglishLanguage,'(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the Process ?PROCESS, with or without voluntary intention. For example, Eve is an agent in the following proposition: Eve bit an apple.')
|
Merge.kif 2567-2570 | |
| s__domain(s__agent__m,1,s__Process)
|
Merge.kif 2564-2564 | |
| s__domain(s__agent__m,2,s__Agent)
|
Merge.kif 2565-2565 | |
| s__instance(s__CaseRole,s__SetOrClass)
|
Merge.kif 2562-2562 | |
| s__instance(s__PartialValuedRelation,s__SetOrClass)
|
Merge.kif 2563-2563 | |
| s__subrelation(s__agent__m,s__involvedInEvent__m)
|
Merge.kif 2566-2566 |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__agent__m,'%2 %n 是 %1 的 agent') | chinese_format.kif 53-53 | |
| s__format(s__EnglishLanguage,s__agent__m,'%2 is %n an agent of %1')
|
english_format.kif 53-53 | |
| s__format(s__FrenchLanguage,s__agent__m,'%1 est %n un agent de %2')
|
french_format.kif 55-55 | |
| s__format(s__ItalianLanguage,s__agent__m,'%1 � %n un agente di %2')
|
relations-it.txt 22-22 | |
| s__format(s__PortugueseLanguage,s__agent__m,'%1 e %n um agente de %2')
|
portuguese_format.kif 7-7 | |
| s__format(s__ar__m,s__agent__m,'%2 هو %n عَامِل لِـ %1')
|
arabic_format.kif 5-5 | |
| s__format(s__cz__m,s__agent__m,'%2 %p{je} %n{nen�} p�vodcem %1')
|
relations-cz.txt 80-80 | |
| s__format(s__de__m,s__agent__m,'%1 ist der agent von %2 %n{nicht}')
|
relations-de.txt 62-62 | |
| s__format(s__hi__m,s__agent__m,'%1 %2 kaa kartaa %n hai')
|
relations-hindi.txt 53-53 | |
| s__format(s__tg__m,s__agent__m,'%1 %n ang kumakatawan sa %2')
|
relations-cb.txt 56-56 | |
| s__relatedInternalConcept(s__typicalAction__m,s__agent__m)
|
Mid-level-ontology.kif 20664-20664 | |
| s__subrelation(s__arrestingOfficer__m,s__agent__m)
|
Law.kif 267-267 | |
| s__subrelation(s__contestParticipant__m,s__agent__m)
|
Mid-level-ontology.kif 17396-17396 | |
| s__subrelation(s__gainsControl__m,s__agent__m)
|
Mid-level-ontology.kif 21315-21315 | |
| s__subrelation(s__invadingVirus__m,s__agent__m)
|
VirusProteinAndCellPart.kif 23-23 | |
| s__subrelation(s__perpetrator__m,s__agent__m)
|
Law.kif 310-310 | |
| s__subrelation(s__plaintiff__m,s__agent__m)
|
Mid-level-ontology.kif 13918-13918 | |
| s__subrelation(s__prosecutor__m,s__agent__m)
|
Law.kif 348-348 | |
| s__subrelation(s__serviceProvider__m,s__agent__m)
|
Mid-level-ontology.kif 20727-20727 | |
| s__termFormat(s__ChineseLanguage,s__agent__m,'主事')
|
chinese_format.kif 54-54 | |
| s__termFormat(s__ar__m,s__agent__m,'«عَامِل»')
|
arabic_format.kif 455-455 | |
| s__termFormat(s__tg__m,s__agent__m,'kumakatawan')
|
relations-tg.txt 61-61 |
| appearance as argument number 3 |
|
|
| s__domain(s__automatedNotification__m,1,s__agent__m)
|
Facebook.kif 709-709 |
| antecedent |
|
|
| ( ! [V__AGENT1,V__AGENT2,V__OBJECT] : ((? [V__BORROW] : (s__instance(V__BORROW,s__Borrowing) & s__agent(V__BORROW,V__AGENT1) & s__origin(V__BORROW,V__AGENT2) & s__patient(V__BORROW,V__OBJECT))) <=> (? [V__LEND] : (s__instance(V__LEND,s__Lending) & s__agent(V__LEND,V__AGENT2) & s__destination(V__LEND,V__AGENT1) & s__patient(V__LEND,V__OBJECT)))) )
|
Merge.kif 11633-11645 | |
| ( ! [V__AGENT1,V__AGENT2,V__OBJECT] : ((? [V__BUY] : (s__instance(V__BUY,s__Buying) & s__agent(V__BUY,V__AGENT1) & s__origin(V__BUY,V__AGENT2) & s__patient(V__BUY,V__OBJECT))) <=> (? [V__SELL] : (s__instance(V__SELL,s__Selling) & s__agent(V__SELL,V__AGENT2) & s__destination(V__SELL,V__AGENT1) & s__patient(V__SELL,V__OBJECT)))) )
|
Merge.kif 11814-11826 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16391-16397 | |
| ( ! [V__Purchase,V__Buyer,V__Seller,V__Object,V__Money] : ((s__agent(V__Purchase,V__Buyer) & s__origin(V__Purchase,V__Seller) & s__patient(V__Purchase,V__Object) & s__monetaryValue(V__Object,V__Money)) => (? [V__Payment] : (s__subProcess(V__Payment,V__Purchase) & s__instance(V__Payment,s__Payment) & s__transactionAmount(V__Payment,V__Money) & s__destination(V__Payment,V__Seller)))) )
|
FinancialOntology.kif 465-476 | |
| ( ! [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER] : ((s__attribute(V__ACTOR,s__VoiceActor) & s__instance(V__DRAMA,s__DramaticActing) & s__agent(V__DRAMA,V__ACTOR) & s__instance(V__SPEAK,s__LinguisticCommunication) & s__agent(V__SPEAK,V__ACTOR) & s__subProcess(V__SPEAK,V__DRAMA)) => ((~ (? [V__S] : (s__instance(V__S,s__Seeing) & s__patient(V__S,V__ACTOR) & s__agent(V__S,V__VIEWER)))) & (? [V__H] : (s__instance(V__H,s__Hearing) & s__patient(V__H,V__ACTOR) & s__agent(V__H,V__VIEWER))))) )
|
Biography.kif 518-537 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 57-75 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 125-134 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1158-1175 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23584-23597 | |
| ( ! [V__X] : ((s__attribute(V__X,s__TravelerAccommodation) & s__capability(s__RoomCleaningService,s__agent__m,V__X)) => (? [V__MAID,V__HOTELROOM] : (s__employs(V__X,V__MAID) & s__attribute(V__MAID,s__Maid) & s__instance(V__HOTELROOM,s__HotelUnit) & s__part(V__HOTELROOM,s__PropertyFn(V__X)) & s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM) & s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))) )
|
Hotel.kif 1879-1890 | |
| ( ! [V__X,V__TEXT,V__WRITE] : ((s__attribute(V__X,s__Writer) & (s__instance(V__TEXT,s__Text) | s__instance(V__TEXT,s__Document)) & s__instance(V__WRITE,s__Writing) & s__agent(V__WRITE,V__X) & s__result(V__WRITE,V__TEXT)) => s__authors(V__X,V__TEXT)) )
|
Biography.kif 492-501 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1810-1814 | |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 151-169 | |
| ( ! [V__AREA,V__POSITION,V__ELECTION] : ((s__chiefOfStateType(V__AREA,V__POSITION) & s__agent(V__ELECTION,V__AREA) & s__instance(V__ELECTION,s__Election) & s__electionForPosition(V__ELECTION,V__POSITION) & s__instance(V__ELECTION,s__PopularElection)) => s__governmentType(V__AREA,s__Democracy)) )
|
Government.kif 1548-1555 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-153 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18332-18341 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 339-350 | |
| ( ! [V__FR,V__PHYS,V__RM,V__AGENT,V__R,V__CUST,V__X] : ((s__freeFunctionRoomAmenity(V__FR,V__PHYS) & s__instance(V__RM,V__FR) & s__element(V__RM,s__PropertyFn(V__AGENT)) & s__instance(V__R,s__Renting) & s__patient(V__R,V__RM) & s__destination(V__R,V__CUST) & s__instance(V__X,V__PHYS) & s__possesses(V__AGENT,V__X) & s__customer(V__CUST,V__AGENT) & ((s__instance(V__X,s__Process) & (s__agent(V__X,V__CUST) | s__experiencer(V__X,V__CUST))) | (s__possesses(V__AGENT,V__X) & s__instance(V__X,s__Object) & s__uses(V__CUST,V__X)))) => s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT)) )
|
Hotel.kif 810-831 | |
| ( ! [V__AGENT,V__PHYS,V__X,V__CUST] : ((s__freePropertyAmenity(V__AGENT,V__PHYS) & s__instance(V__X,V__PHYS) & s__customer(V__CUST,V__AGENT) & ((s__instance(V__X,s__Process) & (s__agent(V__X,V__CUST) | s__experiencer(V__X,V__CUST))) | (s__possesses(V__AGENT,V__X) & s__instance(V__X,s__Object) & s__uses(V__CUST,V__X)))) => s__price(V__X,s__MeasureFn(0,s__UnitedStatesDollar),V__AGENT)) )
|
Hotel.kif 518-533 | |
| ( ! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] : ((s__freeRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__patient(V__P,V__O) | s__instrument(V__P,V__O) | s__resource(V__P,V__O))) => s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL)) )
|
Hotel.kif 333-348 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 780-801 | |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 520-529 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28718-28739 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27711-27723 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4884-4898 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ( ! [V__AGENT1,V__AGENT2] : (s__customer(V__AGENT1,V__AGENT2) <=> (? [V__SERVICE] : (s__instance(V__SERVICE,s__FinancialTransaction) & s__agent(V__SERVICE,V__AGENT2) & s__destination(V__SERVICE,V__AGENT1)))) )
|
Mid-level-ontology.kif 7430-7436 | |
| ( ! [V__Person1,V__Person2,V__Org] : (s__customerRepresentative(V__Person1,V__Person2,V__Org) <=> (? [V__Service] : (s__instance(V__Service,s__FinancialTransaction) & s__employs(V__Org,V__Person1) & s__agent(V__Service,V__Person1) & s__destination(V__Service,V__Person2)))) )
|
FinancialOntology.kif 3527-3534 | |
| ( ! [V__AGENT1,V__AGENT2,V__OBJECT] : ((? [V__BORROW] : (s__instance(V__BORROW,s__Borrowing) & s__agent(V__BORROW,V__AGENT1) & s__origin(V__BORROW,V__AGENT2) & s__patient(V__BORROW,V__OBJECT))) <=> (? [V__LEND] : (s__instance(V__LEND,s__Lending) & s__agent(V__LEND,V__AGENT2) & s__destination(V__LEND,V__AGENT1) & s__patient(V__LEND,V__OBJECT)))) )
|
Merge.kif 11633-11645 | |
| ( ! [V__AGENT1,V__AGENT2,V__OBJECT] : ((? [V__BUY] : (s__instance(V__BUY,s__Buying) & s__agent(V__BUY,V__AGENT1) & s__origin(V__BUY,V__AGENT2) & s__patient(V__BUY,V__OBJECT))) <=> (? [V__SELL] : (s__instance(V__SELL,s__Selling) & s__agent(V__SELL,V__AGENT2) & s__destination(V__SELL,V__AGENT1) & s__patient(V__SELL,V__OBJECT)))) )
|
Merge.kif 11814-11826 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28338-28346 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1636-1642 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11703-11709 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11694-11701 | |
| ( ! [V__A,V__P] : (s__albumArtist(V__A,V__P) => (? [V__R,V__M] : (s__instance(V__R,s__Recording) & s__inList(V__R,V__A) & s__record(V__R,V__M) & s__agent(V__M,V__P)))) )
|
Music.kif 274-281 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11692 | |
| ( ! [V__ACTOR,V__DRAMA,V__SPEAK,V__VIEWER] : ((s__attribute(V__ACTOR,s__VoiceActor) & s__instance(V__DRAMA,s__DramaticActing) & s__agent(V__DRAMA,V__ACTOR) & s__instance(V__SPEAK,s__LinguisticCommunication) & s__agent(V__SPEAK,V__ACTOR) & s__subProcess(V__SPEAK,V__DRAMA)) => ((~ (? [V__S] : (s__instance(V__S,s__Seeing) & s__patient(V__S,V__ACTOR) & s__agent(V__S,V__VIEWER)))) & (? [V__H] : (s__instance(V__H,s__Hearing) & s__patient(V__H,V__ACTOR) & s__agent(V__H,V__VIEWER))))) )
|
Biography.kif 518-537 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 57-75 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 193-210 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17644-17657 | |
| ( ! [V__OFFICER,V__COR] : ((s__attribute(V__OFFICER,V__COR) & s__instance(V__COR,s__CommissionedOfficerRank)) => (? [V__MANAGE,V__PATIENT] : (s__instance(V__MANAGE,s__Managing) & s__agent(V__MANAGE,V__OFFICER) & s__patient(V__MANAGE,V__PATIENT) & (s__instance(V__PATIENT,s__MilitaryOrganization) | s__attribute(V__PATIENT,s__Soldier))))) )
|
Military.kif 286-297 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 125-134 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1158-1175 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18201-18222 | |
| ( ! [V__CUST,V__AGENT,V__ITEM] : ((s__buys(V__CUST,V__AGENT,V__ITEM) & s__instance(V__ITEM,s__Physical)) => (? [V__TRANS] : (s__instance(V__TRANS,s__Buying) & s__patient(V__TRANS,V__ITEM) & s__agent(V__TRANS,V__CUST) & s__origin(V__TRANS,V__AGENT)))) )
|
Mid-level-ontology.kif 28049-28058 | |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 151-169 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 653-664 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1103-1121 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-153 | |
| ( ! [V__CUST,V__AGENT,V__X,V__LUGGAGE] : ((s__customer(V__CUST,V__AGENT) & s__employs(V__AGENT,V__X) & s__attribute(V__AGENT,s__TravelerAccommodation) & s__attribute(V__X,s__Porter) & s__possesses(V__CUST,V__LUGGAGE) & s__instance(V__LUGGAGE,s__TravelContainer)) => (? [V__ROOM,V__CARRY] : (s__instance(V__ROOM,s__HotelUnit) & s__instance(V__CARRY,s__Carrying) & s__agent(V__CARRY,V__X) & (s__destination(V__CARRY,V__ROOM) | s__origin(V__CARRY,V__ROOM))))) )
|
Hotel.kif 2333-2348 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 477-493 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1202-1209 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 916-924 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1069-1078 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1129-1141 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 462-472 |
|
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