| appearance as argument number 1 |
|
| (subclass AutonomousAgent Object) | Merge.kif 1591-1591 | Agent is a subclass of object |
| (documentation AutonomousAgent EnglishLanguage "Something or someone that can act on its own and produce changes in the world.") | Merge.kif 1593-1594 | Agent is a subclass of object |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?AGENT AutonomousAgent) (exists (?PROC) (capability ?PROC agent ?AGENT))) |
Merge.kif 1596-1599 | If X is an instance of agent, then there exists Y such that X is capable of doing Y as a agent |
| (=> (and (instance ?CHANGE ChangeOfPossession) (origin ?CHANGE ?AGENT1) (destination ?CHANGE ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (patient ?CHANGE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (EndFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))) |
Merge.kif 11826-11836 | If All of the following hold: (1) X is an instance of change of possession (2) X originates at Y (3) X ends up at Z (4) Y is an instance of agent (5) Z is an instance of agent (6) W is a patient of X, then Y possesses W holds during the beginning of the time of existence of X and Z possesses W holds during the end of the time of existence of X |
| (=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 AutonomousAgent) (patient ?GIVE ?OBJ)) (exists (?GET) (and (instance ?GET Getting) (agent ?GET ?AGENT2) (origin ?GET ?AGENT1) (patient ?GET ?OBJ)))) |
Merge.kif 11843-11855 | If X is an instance of giving, Y is an agent of X, X ends up at Z, Z is an instance of agent, and W is a patient of X, then there exists V such that V is an instance of getting, Z is an agent of V, V originates at Y, and W is a patient of V |
| (=> (instance ?A AutonomousAgent) (capability SocialInteraction agent ?A)) |
Merge.kif 13191-13193 | If X is an instance of agent, then X is capable of doing social interaction as a agent |
| (=> (and (instance ?A AutonomousAgent) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P BodyMotion) (instance ?P IntentionalProcess) (agent ?P ?A) (during (WhenFn ?P) ?T))))) |
Mid-level-ontology.kif 32939-32950 | If X is an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of body motion, Z is an instance of intentional process, X is an agent of Z, and the time of existence of Z takes place during Y |
| (=> (and (not (instance ?A AutonomousAgent)) (holdsDuring ?T (attribute ?A Motionless))) (not (exists (?P) (and (instance ?P Motion) (patient ?P ?A) (during (WhenFn ?P) ?T))))) |
Mid-level-ontology.kif 32952-32963 | If X is not an instance of agent and motionless is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of motion, X is a patient of Z, and the time of existence of Z takes place during Y |
| (=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W))))) |
ComputerInput.kif 2830-2844 | If All of the following hold: (1) X is an instance of digital post (2) Y is an instance of agent (3) Z is an instance of web site (4) X is a component of Z (5) Y created X (6) Y is a registered user of Z, then X has the purpose there exists W such that W is an instance of disseminating, Y is an agent of W, X is a patient of W, and Z is an instrument for W |
| (=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 | If X is an instance of agent, Y is a potential customer for X, the statement Z is an instance of reserving and Z ends up at X has the modal force of necessity, probability of there exists W such that W is an instance of reservation, Y reserves W, and X fulfills W provided that X is a customer of Y holds is V, and probability of there doesn't exist U such that U is an instance of reservation, Y reserves U, and X fulfills U provided that X is a customer of Y holds is T, then T is less than V |
| (=> (and (instance ?PLACE AutonomousAgent) (subclass ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE))) |
Economy.kif 4070-4074 | If X is an instance of agent and Y is a subclass of year, then the fiscal year starting of X and Y is an instance of the fiscal year of X |
| (=> (and (instance ?ORG AutonomousAgent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE)) |
Government.kif 1409-1415 | If X is an instance of agent, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in X, then Z is a leader position of X |
| (=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG AutonomousAgent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON)) |
Government.kif 1440-1447 | If X is an instance of human, Y is an instance of position, Z is an instance of agent, Y is a leader position of Z, and X holds the position of Y in Z, then X is a leader of Z |
| (=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1654-1660 | If X is an instance of agent and the election of X is a subclass of election, then X is an instance of organization or X is an instance of geopolitical area |
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?ELECTION (ElectionFn ?AGENT))) (agent ?ELECTION ?AGENT)) |
Government.kif 1662-1666 | If X is an instance of agent and Y is an instance of the election of X, then X is an agent of Y |
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1729-1734 | If X is an instance of agent, Y is an instance of organization, and X is a member of Y, then the member of Y is an attribute of X |
| (=> (and (attribute ?AGENT (MemberFn ?ORG)) (instance ?AGENT AutonomousAgent) (instance ?ORG Organization)) (member ?AGENT ?ORG)) |
Government.kif 1736-1741 | If the member of X is an attribute of Y, Y is an instance of agent, and X is an instance of organization, then Y is a member of X |
| (=> (and (instance ?JOIN JoiningAnOrganization) (instance ?AGENT AutonomousAgent) (agent ?JOIN ?AGENT) (patient ?JOIN ?ORG) (instance ?JOIN Organization)) (member ?AGENT ?ORG)) |
Government.kif 2482-2489 | If X is an instance of joining an organization, Y is an instance of agent, Y is an agent of X, Z is a patient of X, and X is an instance of organization, then Y is a member of Z |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY AutonomousAgent)) (exists (?FOOD ?COOK ?CLASSIFY) (and (instance ?COOK Cooking) (agent ?COOK ?ENTITY) (result ?COOK ?FOOD) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?FOOD) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3073-3086 | If X believes Y is Z, Z is an instance of food rating, and Y is an instance of agent, then All of the following hold: (1) there exist W, V (2) U such that V is an instance of cooking (3) Y is an agent of V (4) W is a result of V (5) U is an instance of classifying (6) X is an agent of U (7) U ends up at W (8) Z is a patient of U |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY AutonomousAgent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3102-3114 | If X believes Y is Z, Z is an instance of service rating, and Y is an instance of agent, then All of the following hold: (1) there exist W (2) V such that W is an instance of service (3) Y is an agent of W (4) V is an instance of classifying (5) X is an agent of V (6) V ends up at W (7) Z is a patient of V |
| (=> (and (names ?STRING ?OBJ) (instance ?OBJ AutonomousAgent)) (agentName ?STRING ?OBJ)) |
Media.kif 3413-3417 | If X has name Y and X is an instance of agent, then the name of X is Y |
| (=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 3652-3657 | If X is a trafficable for traffic type of Y, X is a subclass of agent, and Z is an instance of X, then translocation capable at location agent for Z with Y |
| (=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR AutonomousAgent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM))))) |
UXExperimentalTerms.kif 313-325 | If All of the following hold: (1) X is an instance of web listing (2) Y is an instance of object (3) Z is an instance of agent (4) auction attribute is an attribute of X (5) X is a patient of Y (6) Z created X, then Z desires there exists W such that W is an instance of auctioning and Y is a patient of W |
| (=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 AutonomousAgent) (instance ?BIDDER2 AutonomousAgent) (instance ?ITEM Object) (instance ?U UnitOfCurrency) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM (MeasureFn ?OFFER1 ?U) ?BIDDER1) (bidPrice ?ITEM (MeasureFn ?OFFER2 ?U) ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1)) |
UXExperimentalTerms.kif 354-365 | If All of the following hold: (1) X is an instance of auctioning (2) Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of object (5) V is an instance of unit of currency (6) W is a patient of X (7) Y bids U V(s) for W (8) Z bids T V(s) for W (9) U is greater than T, then X ends up at Y |
| (=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER AutonomousAgent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human)) |
UXExperimentalTerms.kif 381-388 | If X is an instance of object, Y is an instance of web listing, Z is an instance of agent, FSBO is an attribute of Y, and Z possesses X, then Z is an instance of human |
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?SITE WebSite)) (exists (?COLL) (and (instance ?COLL Collection) (forall (?LISTING) (=> (and (instance ?LISTING WebListing) (hostedOn ?LISTING ?SITE) (listingSeller ?LISTING ?AGENT)) (member ?LISTING ?COLL))) (equal (SellersItemsFn ?AGENT ?SITE) ?COLL)))) |
UXExperimentalTerms.kif 992-1008 | If X is an instance of agent and Y is an instance of web site, then there exists Z such that Z is an instance of collection, W W is an instance of web listing, W is hosted on Y, X sells WW is a member of Z, equal items for sale by X at Y, and Z |
| (=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT AutonomousAgent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL)) |
UXExperimentalTerms.kif 1033-1060 | If All of the following hold: (1) X is an instance of collection (2) Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) V is an instance of time point (6) Z sells W (7) W is not a member of X (8) For all Physicals U and T: if U is an instance of web listing, U is a member of items for sale by Z at Y, V is a part of the time of existence of U, and equal U and W, then U is a member of X and if T is a member of X, then V is a part of the time of existence of U and T is an instance of web listing, then equal things for sale by Z not listed in W at Y during V and X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (instance ?INTERACTION SocialInteraction) (exists (?AGENT1 ?AGENT2) (and (involvedInEvent ?INTERACTION ?AGENT1) (involvedInEvent ?INTERACTION ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (not (equal ?AGENT1 ?AGENT2))))) |
Merge.kif 13180-13189 | If X is an instance of social interaction, then All of the following hold: (1) there exist Y (2) Z such that Y is an involved in event of X (3) Z is an involved in event of X (4) Y is an instance of agent (5) Z is an instance of agent (6) equal Y (7) Z |
| (=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB AutonomousAgent)) |
Merge.kif 16428-16432 | If X is an instance of group and Y is a member of X, then Y is an instance of agent |
| (=> (and (instance ?ORG Organization) (member ?AGENT ?ORG)) (instance ?AGENT AutonomousAgent)) |
Merge.kif 16831-16835 | If X is an instance of organization and Y is a member of X, then Y is an instance of agent |
| (=> (instance ?D Doll) (exists (?A) (and (instance ?A AutonomousAgent) (represents ?D ?A)))) |
Mid-level-ontology.kif 2879-2884 | If X is an instance of doll, then there exists Y such that Y is an instance of agent and X expresses Y |
| (=> (instance ?LGP LargeGroupProcess) (exists (?G ?M) (and (instance ?G Collection) (member ?M ?G) (memberType ?G AutonomousAgent)))) |
Mid-level-ontology.kif 9139-9145 | If X is an instance of large group process, then there exist Y, Z such that Y is an instance of collection, Z is a member of Y, and agent is a member type of Y |
| (=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 17428-17441 | If X is an instance of commenting, Y is an instance of process, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y |
| (=> (instance ?E Entering) (exists (?R ?A) (and (instance ?R Region) (destination ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Outside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Inside))))) |
Mid-level-ontology.kif 18778-18791 | If X is an instance of entering, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X ends up at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is outside of to Y holds during the beginning of the time of existence of X (7) Z is inside the to Y holds during the end of the time of existence of X |
| (=> (instance ?E Exiting) (exists (?R ?A) (and (instance ?R Region) (origin ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Inside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Outside))))) |
Mid-level-ontology.kif 18797-18810 | If X is an instance of exiting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X originates at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is inside the to Y holds during the beginning of the time of existence of X (7) Z is outside of to Y holds during the end of the time of existence of X |
| (=> (instance ?A Awarding) (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD) (and (instance ?RECIPIENT AutonomousAgent) (instance ?GIVER AutonomousAgent) (instance ?PROCESS Process) (instance ?AWARD Object) (agent ?PROCESS ?RECIPIENT) (agent ?A ?GIVER) (patient ?A ?AWARD) (destination ?A ?RECIPIENT) (causes ?PROCESS ?A)))) |
Mid-level-ontology.kif 20579-20591 | If X is an instance of awarding, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of process (5) V is an instance of object (6) Y is an agent of W (7) Z is an agent of X (8) V is a patient of X (9) X ends up at Y (10) W causes X |
| (=> (instance ?X Vandalism) (not (exists (?A) (and (instance ?A AutonomousAgent) (patient ?X ?A))))) |
Mid-level-ontology.kif 24518-24524 | If X is an instance of vandalism, then there doesn't exist Y such that Y is an instance of agent and Y is a patient of X |
| (=> (and (instance ?CAPTURE Capturing) (controlled ?CAPTURE ?OBJ)) (instance ?OBJ AutonomousAgent)) |
Mid-level-ontology.kif 25836-25840 | If X is an instance of capture and Y comes to be physically controlled by an agent during X, then Y is an instance of agent |
| (=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER)))) |
Mid-level-ontology.kif 32591-32597 | If X is an instance of account number, then there exist Y, Z, W such that Y is an instance of corporation, Z is an instance of agent, and X is a unique ID for W with respect to Y |
| (=> (manner ?P Solely) (exists (?H) (and (involvedInEvent ?P ?H) (instance ?H AutonomousAgent) (not (exists (?H2) (and (involvedInEvent ?P ?H2) (instance ?H2 AutonomousAgent) (not (equal ?H ?H2)))))))) |
Mid-level-ontology.kif 32904-32915 | If X is performed in the manner Solely, then there exists Y such that Y is an involved in event of X, Y is an instance of agent, there doesn't exist Z such that Z is an involved in event of X, Z is an instance of agent, equal Y, and Z |
| (<=> (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 32920-32933 | All of the following hold: (1) Alone is an attribute of X holds during Y if (2) only if there don't exist Z (3) W such that equal X (4) Z (5) Z is an instance of agent (6) W is an instance of social interaction (7) the time of existence of W takes place during Y (8) X is an involved in event of W (9) Z is an involved in event of W |
| (=> (instance ?CATALOG Catalog) (exists (?X) (and (instance ?X AutonomousAgent) (offers ?X ?CATALOG)))) |
Catalog.kif 36-41 | If X is an instance of catalog, then there exists Y such that Y is an instance of agent and Y offers items for sale in X |
| (=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1))))))) |
Dining.kif 956-980 | If open layout is an attribute of X, then X is an instance of room and All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of region (3) Z is an instance of region (4) Y is located at X (5) Z is located at X (6) equal Y (7) Z (8) Y is adjacent to Z (9) there exist V (10) U such that V is an instance of process (11) U is an instance of process (12) Y has the purpose V (13) Z has the purpose U (14) W is an instance of agent (15) W is located at ZW is capable of doing seeing as a agent (16) Y is capable of doing seeing as a patient |
| (=> (and (subjectiveAttribute ?OBJ ?ATTR ?AGENT) (instance ?ATTR TimeAttribute)) (instance ?OBJ AutonomousAgent)) |
Dining.kif 1026-1030 | If X believes Y is Z and Z is an instance of time attribute, then Y is an instance of agent |
| (=> (member ?CAPITALIST Capitalism) (believes ?CAPITALIST (exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA) (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY) (instance ?AA AutonomousAgent) (element ?OBJ (PropertyFn ?AA)) (not (equal ?AA (CitizenryFn ?COUNTRY))))))) |
Economy.kif 905-917 | If X is a member of capitalism, then All of the following hold: (1) X believes there exist Y, Z,, , W (2) V such that Y is an instance of mean of production (3) Y is an attribute of Z (4) W is an instance of geopolitical area (5) Z is located at W (6) V is an instance of agent (7) Z is an element of belongings of V (8) equal V (9) the citizenry of W |
| (=> (colocatedAgent ?ORG ?ATTR) (exists (?ORG2 ?LOC) (and (instance ?ORG2 AutonomousAgent) (attribute ?ORG2 ?ATTR) (located ?ORG ?LOC) (located ?ORG2 ?LOC)))) |
Hotel.kif 770-777 | If a X organization is located at Y, then there exist Z, W such that Z is an instance of agent, X is an attribute of Z, Y is located at W, and Z is located at W |
| (=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ AutonomousAgent) (instance ?OBJ Product))) |
Media.kif 895-901 | If X is an instance of logo and X expresses Y, then Y is an instance of agent or Y is an instance of product |
| (=> (instance ?AT ApplyingTourniquet) (exists (?A ?P ?T) (and (instance ?A AutonomousAgent) (instance ?P Mammal) (holdsDuring (WhenFn ?AT) (attribute ?T Tourniquet)) (destination ?AT ?P) (agent ?AT ?A) (objectTransferred ?AT ?T)))) |
Medicine.kif 67-78 | If X is an instance of applying a tourniquet, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of agent (3) Z is an instance of mammal (4) tourniquet is an attribute of W holds during the time of existence of X (5) X ends up at Z (6) Y is an agent of X (7) the object transferred in X is W |
| (=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER AutonomousAgent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER)))) |
UXExperimentalTerms.kif 209-218 | If X is an instance of insertion fee, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) W is hosted on Y (6) Z possesses Y (7) Z is an agent of X |
| (=> (instance ?CHARGE InsertionFee) (exists (?ADVERT ?PROC ?OWNER) (and (instance ?ADVERT WebListing) (instance ?PROC ListOnSite) (instance ?OWNER AutonomousAgent) (patient ?PROC ?ADVERT) (causes ?PROC ?CHARGE) (agent ?CHARGE ?OWNER) (agent ?PROC ?OWNER)))) |
UXExperimentalTerms.kif 220-230 | If X is an instance of insertion fee, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of web listing (3) Z is an instance of list on site (4) W is an instance of agent (5) Y is a patient of Z (6) Z causes X (7) W is an agent of X (8) W is an agent of Z |
| (=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER AutonomousAgent) (instance ?ITEM Physical) (instance ?ADVERT WebListing) (patient ?ADVERT ?ITEM) (patient ?SELLING ?ITEM) (causes ?SELLING ?CHARGE) (agent ?CHARGE ?OWNER) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (eCommerceSite ?SELLING ?OWNER)))) |
UXExperimentalTerms.kif 240-255 | If X is an instance of final fee, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web listing (3) Z is an instance of selling (4) W is an instance of agent (5) V is an instance of physical (6) Y is an instance of web listing (7) V is a patient of Y (8) V is a patient of Z (9) Z causes X (10) W is an agent of X (11) Y is hosted on U (12) W possesses U (13) W facilitates Z |
| (=> (and (instance ?AUCTIONING Auctioning) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)) (exists (?BIDDER ?OFFER) (and (instance ?BIDDER AutonomousAgent) (instance ?OFFER CurrencyMeasure) (bidPrice ?ITEM ?OFFER ?BIDDER)))) |
UXExperimentalTerms.kif 343-352 | If X is an instance of auctioning, Y is an instance of object, and Y is a patient of X, then there exist Z, W such that Z is an instance of agent, W is an instance of currency measure, and Z bids W for Y |
| 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 3.0 is open source software produced by Articulate Software and its partners