Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AutonomousAgent(agent) |
| appearance as argument number 1 |
|
| s__subclass(s__AutonomousAgent,s__Object)
|
Merge.kif 1651-1651 | Agent is a subclass of object |
| s__documentation(s__AutonomousAgent, s__EnglishLanguage, "Something or someone that can act on its own and produce changes in the world_") | Merge.kif 1653-1654 | Agent is a subclass of object |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| ! [V__AGENT] : ((s__instance(V__AGENT,s__AutonomousAgent) => (? [V__PROC] : ((s__subclass(V__PROC,s__Process) & s__capability(V__PROC,s__agent,V__AGENT))))) )
|
Merge.kif 1656-1659 | If X is an instance of agent, then there exists Y such that X is capable of doing Y as a agent |
| ! [V__AGENT1 : $i,V__AGENT2 : $i,V__CHANGE : $i,V__OBJ : $i] : (((s__instance(V__CHANGE, s__ChangeOfPossession) & s__origin(V__CHANGE, V__AGENT1) & s__destination(V__CHANGE, V__AGENT2) & s__instance(V__AGENT1, s__AutonomousAgent) & s__instance(V__AGENT2, s__AutonomousAgent) & s__patient(V__CHANGE, V__OBJ)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT1, V__OBJ)) & s__holdsDuring(s__EndFn(s__WhenFn(V__CHANGE)), s__possesses(V__AGENT2, V__OBJ))))) | Merge.kif 11932-11942 | 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 |
| ! [V__AGENT1,V__GIVE,V__AGENT2,V__OBJ] : ((s__instance(V__AGENT1,s__AutonomousAgent) => ((s__instance(V__GIVE,s__Giving) & s__agent(V__GIVE,V__AGENT1) & s__destination(V__GIVE,V__AGENT2) & s__instance(V__AGENT2,s__AutonomousAgent) & s__patient(V__GIVE,V__OBJ)) => (? [V__GET] : ((s__instance(V__GET,s__Getting) & s__agent(V__GET,V__AGENT2) & s__origin(V__GET,V__AGENT1) & s__patient(V__GET,V__OBJ)))))) )
|
Merge.kif 11949-11961 | 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 |
| ! [V__A] : ((s__instance(V__A,s__AutonomousAgent) => s__capability(s__SocialInteraction,s__agent,V__A)) )
|
Merge.kif 13313-13315 | If X is an instance of agent, then X is capable of doing social interaction as a agent |
| ! [V__A : $i,V__T : $i] : (((s__instance(V__A, s__AutonomousAgent) & s__holdsDuring(V__T, s__attribute(V__A, s__Motionless))) => ~(( ? [V__P:$i] : ((s__instance(V__P, s__BodyMotion) & s__instance(V__P, s__IntentionalProcess) & s__agent(V__P, V__A) & s__during(s__WhenFn(V__P), V__T))))))) | Mid-level-ontology.kif 32876-32887 | 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 |
| ! [V__A : $i,V__T : $i] : (((~(s__instance(V__A, s__AutonomousAgent)) & s__holdsDuring(V__T, s__attribute(V__A, s__Motionless))) => ~(( ? [V__P:$i] : ((s__instance(V__P, s__Motion) & s__patient(V__P, V__A) & s__during(s__WhenFn(V__P), V__T))))))) | Mid-level-ontology.kif 32889-32900 | 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 |
| ! [V__A : $i,V__P : $i,V__W : $i] : (((s__instance(V__P, s__DigitalPost) & s__instance(V__A, s__AutonomousAgent) & s__instance(V__W, s__WebSite) & s__component(V__P, V__W) & s__creator(V__A, V__P) & s__registeredUser(V__A, V__W)) => s__hasPurpose(V__P, ( ? [V__D:$i] : ((s__instance(V__D, s__Disseminating) & s__agent(V__D, V__A) & s__patient(V__D, V__P) & s__instrument(V__D, V__W))))))) | ComputerInput.kif 2846-2860 | 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 |
| ! [V__AGENT : $i,V__CUST : $i,V__NUM1 : $real,V__NUM2 : $real,V__R : $i] : (((s__instance(V__AGENT, s__AutonomousAgent) & s__potentialCustomer(V__CUST, V__AGENT) & s__modalAttribute((s__instance(V__R, s__Reserving) & s__destination(V__R, V__AGENT)), s__Necessity) & s__conditionalProbability(( ? [V__RES1:$i] : ((s__instance(V__RES1, s__Reservation) & s__reservingEntity(V__CUST, V__RES1) & s__fulfillingEntity(V__AGENT, V__RES1)))), s__customer(V__CUST, V__AGENT), V__NUM1) & s__conditionalProbability(~(( ? [V__RES2:$i] : ((s__instance(V__RES2, s__Reservation) & s__reservingEntity(V__CUST, V__RES2) & s__fulfillingEntity(V__AGENT, V__RES2))))), s__customer(V__CUST, V__AGENT), V__NUM2)) => ($less(V__NUM2,V__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 |
| ! [V__YEAR,V__PLACE] : (((s__instance(V__YEAR,s__Class) & s__subclass(V__YEAR,s__Year)) => ((s__instance(V__PLACE,s__AutonomousAgent) & s__subclass(V__YEAR,s__Year)) => s__instance(s__FiscalYearStartingFn(V__PLACE,V__YEAR) ,s__FiscalYearFn(V__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 |
| ! [V__PERSON,V__ORG,V__ROLE] : ((s__instance(V__PERSON,s__Human) => ((s__instance(V__ORG,s__AutonomousAgent) & s__leader(V__ORG,V__PERSON) & s__instance(V__ROLE,s__Position) & s__occupiesPosition(V__PERSON,V__ROLE,V__ORG)) => s__leaderPosition(V__ORG,V__ROLE))) )
|
Government.kif 1418-1424 | 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 |
| ! [V__PERSON,V__ROLE,V__ORG] : (((s__instance(V__PERSON,s__Human) & s__instance(V__ROLE,s__Position) & s__instance(V__ORG,s__AutonomousAgent) & s__leaderPosition(V__ORG,V__ROLE) & s__occupiesPosition(V__PERSON,V__ROLE,V__ORG)) => s__leader(V__ORG,V__PERSON)) )
|
Government.kif 1449-1456 | 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 |
| ! [V__AGENT] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__subclass(s__ElectionFn(V__AGENT) ,s__Election)) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea))) )
|
Government.kif 1663-1669 | 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 |
| ! [V__ELECTION,V__AGENT] : ((s__instance(V__ELECTION,s__Process) => ((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__ELECTION,s__ElectionFn(V__AGENT))) => s__agent(V__ELECTION,V__AGENT))) )
|
Government.kif 1671-1675 | If X is an instance of agent and Y is an instance of the election of X, then X is an agent of Y |
| ! [V__AGENT,V__ORG] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__ORG,s__Organization) & s__member(V__AGENT,V__ORG)) => s__attribute(V__AGENT,s__MemberFn(V__ORG))) )
|
Government.kif 1738-1743 | 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 |
| ! [V__AGENT,V__ORG] : (((s__attribute(V__AGENT,s__MemberFn(V__ORG)) & s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__ORG,s__Organization)) => s__member(V__AGENT,V__ORG)) )
|
Government.kif 1745-1750 | 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 |
| ! [V__ORG,V__JOIN,V__AGENT] : ((s__instance(V__ORG,s__Collection) => ((s__instance(V__JOIN,s__JoiningAnOrganization) & s__instance(V__AGENT,s__AutonomousAgent) & s__agent(V__JOIN,V__AGENT) & s__patient(V__JOIN,V__ORG) & s__instance(V__JOIN,s__Organization)) => s__member(V__AGENT,V__ORG))) )
|
Government.kif 2493-2500 | 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 |
| ! [V__AGENT,V__ENTITY,V__ATTR] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT) & s__instance(V__ATTR,s__FoodRating) & s__instance(V__ENTITY,s__AutonomousAgent)) => (? [V__FOOD,V__COOK,V__CLASSIFY] : ((s__instance(V__COOK,s__Cooking) & s__agent(V__COOK,V__ENTITY) & s__result(V__COOK,V__FOOD) & s__instance(V__CLASSIFY,s__Classifying) & s__agent(V__CLASSIFY,V__AGENT) & s__destination(V__CLASSIFY,V__FOOD) & s__patient(V__CLASSIFY,V__ATTR)))))) )
|
Hotel.kif 3080-3093 | 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 |
| ! [V__AGENT,V__ENTITY,V__ATTR] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT) & s__instance(V__ATTR,s__ServiceRating) & s__instance(V__ENTITY,s__AutonomousAgent)) => (? [V__SVC,V__CLASSIFY] : ((s__instance(V__SVC,s__ServiceProcess) & s__agent(V__SVC,V__ENTITY) & s__instance(V__CLASSIFY,s__Classifying) & s__agent(V__CLASSIFY,V__AGENT) & s__destination(V__CLASSIFY,V__SVC) & s__patient(V__CLASSIFY,V__ATTR)))))) )
|
Hotel.kif 3109-3121 | 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 |
| ! [V__STRING,V__OBJ] : ((s__instance(V__STRING,s__SymbolicString) => ((s__names(V__STRING,V__OBJ) & s__instance(V__OBJ,s__AutonomousAgent)) => s__agentName(V__STRING,V__OBJ))) )
|
Media.kif 3344-3348 | If X has name Y and X is an instance of agent, then the name of X is Y |
| ! [V__place,V__type,V__mover] : (((s__instance(V__place,s__Region) & s__instance(V__type,s__Class) & s__subclass(V__type,s__SelfConnectedObject) & s__instance(V__mover,s__Object)) => ((s__trafficableForTrafficType(V__place,V__type) & s__subclass(V__type,s__AutonomousAgent) & s__instance(V__mover,V__type)) => s__capableAtLocation(s__Translocation,s__agent,V__mover,V__place))) )
|
Transportation.kif 3691-3696 | 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 |
| ! [V__CREATOR : $i,V__ITEM : $i,V__LISTING : $i] : (((s__instance(V__LISTING, s__WebListing) & s__instance(V__ITEM, s__Object) & s__instance(V__CREATOR, s__AutonomousAgent) & s__attribute(V__LISTING, s__AuctionAttribute) & s__patient(V__ITEM, V__LISTING) & s__creator(V__CREATOR, V__LISTING)) => s__desires(V__CREATOR, ( ? [V__AUCTION:$i] : ((s__instance(V__AUCTION, s__Auctioning) & s__patient(V__AUCTION, V__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 |
| ! [V__OFFER1,V__OFFER2,V__AUCTIONING,V__BIDDER1,V__BIDDER2,V__ITEM,V__U] : (((s__instance(V__OFFER1,s__RealNumber) & s__instance(V__OFFER2,s__RealNumber)) => ((s__instance(V__AUCTIONING,s__Auctioning) & s__instance(V__BIDDER1,s__AutonomousAgent) & s__instance(V__BIDDER2,s__AutonomousAgent) & s__instance(V__ITEM,s__Object) & s__instance(V__U,s__UnitOfCurrency) & s__patient(V__AUCTIONING,V__ITEM) & s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER1,V__U) ,V__BIDDER1) & s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER2,V__U) ,V__BIDDER2) & s__greaterThan(V__OFFER1,V__OFFER2)) => s__destination(V__AUCTIONING,V__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 |
| ! [V__ITEM,V__LISTING,V__OWNER] : (((s__instance(V__ITEM,s__Object) & s__instance(V__LISTING,s__WebListing) & s__instance(V__OWNER,s__AutonomousAgent) & s__attribute(V__LISTING,s__ForSaleByOwner) & s__possesses(V__OWNER,V__ITEM)) => s__instance(V__OWNER,s__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 |
| ! [V__AGENT,V__SITE] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__SITE,s__WebSite)) => (? [V__COLL] : ((s__instance(V__COLL,s__Collection) & (! [V__LISTING] : (((s__instance(V__LISTING,s__WebListing) & s__hostedOn(V__LISTING,V__SITE) & s__listingSeller(V__LISTING,V__AGENT)) => s__member(V__LISTING,V__COLL)))) & (s__SellersItemsFn(V__AGENT,V__SITE) = V__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 |
| ! [V__COLL,V__SITE,V__AGENT,V__LISTING,V__TIME] : (((s__instance(V__COLL,s__Collection) & s__instance(V__SITE,s__WebSite) & s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__LISTING,s__WebListing) & s__instance(V__TIME,s__TimePoint) & s__listingSeller(V__LISTING,V__AGENT) & ~(s__member(V__LISTING,V__COLL)) & (! [V__ITEM,V__MEMBER] : ((((s__instance(V__ITEM,s__WebListing) & s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE)) & s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & ~((V__ITEM = V__LISTING))) => s__member(V__ITEM,V__COLL)) & (s__member(V__MEMBER,V__COLL) => (s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & s__instance(V__MEMBER,s__WebListing))))))) => (s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME) = V__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 |
|
|
| ! [V__INTERACTION] : ((s__instance(V__INTERACTION,s__SocialInteraction) => (? [V__AGENT1,V__AGENT2] : ((s__involvedInEvent(V__INTERACTION,V__AGENT1) & s__involvedInEvent(V__INTERACTION,V__AGENT2) & s__instance(V__AGENT1,s__AutonomousAgent) & s__instance(V__AGENT2,s__AutonomousAgent) & ~((V__AGENT1 = V__AGENT2)))))) )
|
Merge.kif 13302-13311 | 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 |
| ! [V__MEMB,V__GROUP] : ((s__instance(V__MEMB,s__Physical) => ((s__instance(V__GROUP,s__Group) & s__member(V__MEMB,V__GROUP)) => s__instance(V__MEMB,s__AutonomousAgent))) )
|
Merge.kif 16587-16591 | If X is an instance of group and Y is a member of X, then Y is an instance of agent |
| ! [V__AGENT,V__ORG] : ((s__instance(V__AGENT,s__Physical) => ((s__instance(V__ORG,s__Organization) & s__member(V__AGENT,V__ORG)) => s__instance(V__AGENT,s__AutonomousAgent))) )
|
Merge.kif 16988-16992 | If X is an instance of organization and Y is a member of X, then Y is an instance of agent |
| ! [V__D] : ((s__instance(V__D,s__Doll) => (? [V__A] : ((s__instance(V__A,s__AutonomousAgent) & s__represents(V__D,V__A))))) )
|
Mid-level-ontology.kif 2997-3002 | If X is an instance of doll, then there exists Y such that Y is an instance of agent and X expresses Y |
| ! [V__LGP] : ((s__instance(V__LGP,s__LargeGroupProcess) => (? [V__G,V__M] : ((s__instance(V__M,s__Physical) & (s__instance(V__G,s__CollectionOfObjects) & s__member(V__M,V__G) & s__memberType(V__G,s__AutonomousAgent)))))) )
|
Mid-level-ontology.kif 9253-9259 | 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 |
| ! [V__COMMENTING,V__PROCESS] : (((s__instance(V__COMMENTING,s__Commenting) & s__instance(V__PROCESS,s__Process) & s__patient(V__COMMENTING,V__PROCESS)) => (? [V__AGENT,V__SPEAKING,V__LOOKING] : ((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__SPEAKING,s__Speaking) & s__instance(V__LOOKING,s__Looking) & s__agent(V__SPEAKING,V__AGENT) & s__agent(V__LOOKING,V__AGENT) & s__patient(V__LOOKING,V__PROCESS) & s__refers(V__SPEAKING,V__PROCESS))))) )
|
Mid-level-ontology.kif 17498-17511 | 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 |
| ! [V__E : $i] : ((s__instance(V__E, s__Entering) => ( ? [V__R:$i, V__A:$i] : ((s__instance(V__R, s__Region) & s__destination(V__E, V__R) & s__agent(V__E, V__A) & s__instance(V__A, s__AutonomousAgent) & s__holdsDuring(s__BeginFn(s__WhenFn(V__E)), s__orientation(V__A, V__R, s__Outside)) & s__holdsDuring(s__EndFn(s__WhenFn(V__E)), s__orientation(V__A, V__R, s__Inside))))))) | Mid-level-ontology.kif 18829-18842 | 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 |
| ! [V__E : $i] : ((s__instance(V__E, s__Exiting) => ( ? [V__R:$i, V__A:$i] : ((s__instance(V__R, s__Region) & s__origin(V__E, V__R) & s__agent(V__E, V__A) & s__instance(V__A, s__AutonomousAgent) & s__holdsDuring(s__BeginFn(s__WhenFn(V__E)), s__orientation(V__A, V__R, s__Inside)) & s__holdsDuring(s__EndFn(s__WhenFn(V__E)), s__orientation(V__A, V__R, s__Outside))))))) | Mid-level-ontology.kif 18848-18861 | 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 |
| ! [V__A] : ((s__instance(V__A,s__Awarding) => (? [V__RECIPIENT,V__GIVER,V__PROCESS,V__AWARD] : ((s__instance(V__RECIPIENT,s__AutonomousAgent) & s__instance(V__GIVER,s__AutonomousAgent) & s__instance(V__PROCESS,s__Process) & s__instance(V__AWARD,s__Object) & s__agent(V__PROCESS,V__RECIPIENT) & s__agent(V__A,V__GIVER) & s__patient(V__A,V__AWARD) & s__destination(V__A,V__RECIPIENT) & s__causes(V__PROCESS,V__A))))) )
|
Mid-level-ontology.kif 20567-20579 | 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 |
| ! [V__X] : ((s__instance(V__X,s__Vandalism) => ~((? [V__A] : ((s__instance(V__A,s__AutonomousAgent) & s__patient(V__X,V__A)))))) )
|
Mid-level-ontology.kif 24418-24424 | 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 |
| ! [V__OBJ,V__CAPTURE] : ((s__instance(V__OBJ,s__Object) => ((s__instance(V__CAPTURE,s__Capturing) & s__controlled(V__CAPTURE,V__OBJ)) => s__instance(V__OBJ,s__AutonomousAgent))) )
|
Mid-level-ontology.kif 25776-25780 | 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 |
| ! [V__NUMBER] : ((s__instance(V__NUMBER,s__AccountNumber) => (? [V__CORPORATION,V__AGENT,V__HUMAN] : ((s__instance(V__HUMAN,s__Physical) & (s__instance(V__CORPORATION,s__Corporation) & s__instance(V__AGENT,s__AutonomousAgent) & s__uniqueIdWithRespectTo(V__CORPORATION,V__HUMAN,V__NUMBER)))))) )
|
Mid-level-ontology.kif 32529-32535 | 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 |
| ! [V__P] : ((s__instance(V__P,s__Process) => (s__manner(V__P,s__Solely) => (? [V__H] : ((s__involvedInEvent(V__P,V__H) & s__instance(V__H,s__AutonomousAgent) & ~((? [V__H2] : ((s__involvedInEvent(V__P,V__H2) & s__instance(V__H2,s__AutonomousAgent) & ~((V__H = V__H2))))))))))) )
|
Mid-level-ontology.kif 32841-32852 | 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 |
| ! [V__H : $i,V__T : $i] : (((s__holdsDuring(V__T, s__attribute(V__H, s__Alone)) => ~(( ? [V__H2:$i, V__SI:$i] : ((~(V__H = V__H2) & s__instance(V__H2, s__AutonomousAgent) & s__instance(V__SI, s__SocialInteraction) & s__during(s__WhenFn(V__SI), V__T) & s__involvedInEvent(V__SI, V__H) & s__involvedInEvent(V__SI, V__H2)))))) & (~(( ? [V__H2:$i, V__SI:$i] : ((~(V__H = V__H2) & s__instance(V__H2, s__AutonomousAgent) & s__instance(V__SI, s__SocialInteraction) & s__during(s__WhenFn(V__SI), V__T) & s__involvedInEvent(V__SI, V__H) & s__involvedInEvent(V__SI, V__H2))))) => s__holdsDuring(V__T, s__attribute(V__H, s__Alone))))) | Mid-level-ontology.kif 32857-32870 | 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 |
| ! [V__CATALOG] : ((s__instance(V__CATALOG,s__Catalog) => (? [V__X] : ((s__instance(V__X,s__AutonomousAgent) & s__offers(V__X,V__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 |
| ! [V__AGENT,V__OBJ,V__ATTR] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__subjectiveAttribute(V__OBJ,V__ATTR,V__AGENT) & s__instance(V__ATTR,s__TimeAttribute)) => s__instance(V__OBJ,s__AutonomousAgent))) )
|
Dining.kif 1029-1033 | If X believes Y is Z and Z is an instance of time attribute, then Y is an instance of agent |
| ! [V__CAPITALIST : $i] : ((s__member(V__CAPITALIST, s__Capitalism) => s__believes(V__CAPITALIST, ( ? [V__MEANOFPRODUCTION:$i, V__OBJ:$i, V__COUNTRY:$i, V__AA:$i] : ((s__instance(V__MEANOFPRODUCTION, s__MeanOfProduction) & s__attribute(V__OBJ, V__MEANOFPRODUCTION) & s__instance(V__COUNTRY, s__GeopoliticalArea) & s__located(V__OBJ, V__COUNTRY) & s__instance(V__AA, s__AutonomousAgent) & s__element(V__OBJ, s__PropertyFn(V__AA)) & ~(V__AA = s__CitizenryFn(V__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 |
| ! [V__ORG,V__ATTR] : (((s__instance(V__ORG,s__AutonomousAgent) & s__instance(V__ATTR,s__RelationalAttribute)) => (s__colocatedAgent(V__ORG,V__ATTR) => (? [V__ORG2,V__LOC] : ((s__instance(V__LOC,s__Object) & (s__instance(V__ORG2,s__AutonomousAgent) & s__attribute(V__ORG2,V__ATTR) & s__located(V__ORG,V__LOC) & s__located(V__ORG2,V__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 |
| ! [V__LOGO,V__OBJ] : (((s__instance(V__LOGO,s__Logo) & s__represents(V__LOGO,V__OBJ)) => (s__instance(V__OBJ,s__AutonomousAgent) | s__instance(V__OBJ,s__Product))) )
|
Media.kif 886-892 | 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 |
| ! [V__AT : $i] : ((s__instance(V__AT, s__ApplyingTourniquet) => ( ? [V__A:$i, V__P:$i, V__T:$i] : ((s__instance(V__A, s__AutonomousAgent) & s__instance(V__P, s__Mammal) & s__holdsDuring(s__WhenFn(V__AT), s__attribute(V__T, s__Tourniquet)) & s__destination(V__AT, V__P) & s__agent(V__AT, V__A) & s__objectTransferred(V__AT, V__T)))))) | Medicine.kif 68-79 | 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 |
| ! [V__CHARGE] : ((s__instance(V__CHARGE,s__InsertionFee) => (? [V__SITE,V__OWNER,V__ADVERT] : ((s__instance(V__SITE,s__WebSite) & s__instance(V__OWNER,s__AutonomousAgent) & s__instance(V__ADVERT,s__WebListing) & s__hostedOn(V__ADVERT,V__SITE) & s__possesses(V__OWNER,V__SITE) & s__agent(V__CHARGE,V__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 |
| ! [V__CHARGE] : ((s__instance(V__CHARGE,s__InsertionFee) => (? [V__ADVERT,V__PROC,V__OWNER] : ((s__instance(V__ADVERT,s__WebListing) & s__instance(V__PROC,s__ListOnSite) & s__instance(V__OWNER,s__AutonomousAgent) & s__patient(V__PROC,V__ADVERT) & s__causes(V__PROC,V__CHARGE) & s__agent(V__CHARGE,V__OWNER) & s__agent(V__PROC,V__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 |
| ! [V__CHARGE] : ((s__instance(V__CHARGE,s__FinalValueFee) => (? [V__ADVERT,V__SELLING,V__OWNER,V__ITEM,V__SITE] : ((s__instance(V__SITE,s__Object) & s__instance(V__SITE,s__WebSite) & (s__instance(V__ADVERT,s__WebListing) & s__instance(V__SELLING,s__Selling) & s__instance(V__OWNER,s__AutonomousAgent) & s__instance(V__ITEM,s__Physical) & s__instance(V__ADVERT,s__WebListing) & s__patient(V__ADVERT,V__ITEM) & s__patient(V__SELLING,V__ITEM) & s__causes(V__SELLING,V__CHARGE) & s__agent(V__CHARGE,V__OWNER) & s__hostedOn(V__ADVERT,V__SITE) & s__possesses(V__OWNER,V__SITE) & s__eCommerceSite(V__SELLING,V__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 |
| ! [V__AUCTIONING,V__ITEM] : (((s__instance(V__AUCTIONING,s__Auctioning) & s__instance(V__ITEM,s__Object) & s__patient(V__AUCTIONING,V__ITEM)) => (? [V__BIDDER,V__OFFER] : ((s__instance(V__BIDDER,s__AutonomousAgent) & s__instance(V__OFFER,s__CurrencyMeasure) & s__bidPrice(V__ITEM,V__OFFER,V__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 |
| ! [V__ACCT,V__SITE] : (((s__instance(V__ACCT,s__UserAccount) & s__instance(V__SITE,s__Object) & s__instance(V__SITE,s__WebSite)) => (s__accountAtSite(V__ACCT,V__SITE) => (? [V__DATABASE,V__SITE_OWNER] : ((s__instance(V__DATABASE,s__Database) & s__instance(V__SITE_OWNER,s__AutonomousAgent) & s__possesses(V__SITE_OWNER,V__SITE) & s__possesses(V__SITE_OWNER,V__DATABASE) & s__part(V__ACCT,V__DATABASE)))))) )
|
UXExperimentalTerms.kif 632-640 | If X is an account at Y, then there exist Z, ?SITE_OWNER such that Z is an instance of database, ?SITE_OWNER is an instance of agent, ?SITE_OWNER possesses Y, ?SITE_OWNER possesses Z, and X is a part of Z |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|