![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
WarehousingAndStorage(warehousing and storage)
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 ?MEM ?P (exists (?B ?T) (and (instance ?T TimeInterval) (instance ?B Building) (possesses ?P ?OBJ) (holdsDuring ?T (located ?B ?OBJ)))))))))) |
naics.kif 8773-8794 | If X is an instance of organization and warehousing and storage is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W (5) V such that Y is an instance of selling (6) V is an instance of object (7) W is an instance of human (8) W is a patient of Y (9) W allows there exist U (10) T such that T is an instance of timeframe (11) U is an instance of building (12) W possesses V (13) U is located at V holds during T to perform task of the type Z |