Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  CBT
|
|
|
| appearance as argument number 1 |
|
|
| (instance CBT TransactionAttribute) | UXExperimentalTerms.kif 1816-1816 | Cross border trade is an instance of transaction attribute |
| (documentation CBT EnglishLanguage "A TransactionAtrribute signifying that the buyer and seller are located in different GeoPoliticalAreas.") | UXExperimentalTerms.kif 1818-1819 | Cross border trade is an instance of transaction attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CBT "cross border trade") | UXExperimentalTerms.kif 1821-1821 |
| antecedent |
|
|
| (=> (and (instance ?TRANS Selling) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (destination ?TRANS ?BUYER) (agent ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION))))) |
UXExperimentalTerms.kif 1823-1840 | If X is an instance of selling, cross border trade is an attribute of X, Y is a patient of X, and Y is an instance of object, then All of the following hold: (1) there exist Z, W,, , ?BUYER_LOCATION (2) ?SELLER_LOCATION such that W is an instance of agent (3) Z is an instance of agent (4) X ends up at W (5) Z is an agent of X (6) ?BUYER_LOCATION is an instance of geopolitical area (7) ?SELLER_LOCATION is an instance of geopolitical area (8) Z is located at ?SELLER_LOCATION (9) W is located at ?BUYER_LOCATION (10) equal ?BUYER_LOCATION (11) ?SELLER_LOCATION |
| (=> (and (instance ?TRANS Buying) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (agent ?TRANS ?BUYER) (origin ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION))))) |
UXExperimentalTerms.kif 1842-1859 | If X is an instance of buying, cross border trade is an attribute of X, Y is a patient of X, and Y is an instance of object, then All of the following hold: (1) there exist Z, W,, , ?BUYER_LOCATION (2) ?SELLER_LOCATION such that W is an instance of agent (3) Z is an instance of agent (4) W is an agent of X (5) X originates at Z (6) ?BUYER_LOCATION is an instance of geopolitical area (7) ?SELLER_LOCATION is an instance of geopolitical area (8) Z is located at ?SELLER_LOCATION (9) W is located at ?BUYER_LOCATION (10) equal ?BUYER_LOCATION (11) ?SELLER_LOCATION |
|