Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  TextileProductMills
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute TextileProductMills TextileIndustry) | Economy.kif 2005-2005 | Textile product mills is a subattribute of textile industry |
| (industryProductType TextileProductMills Fabric) | Society.kif 581-581 | Fabric is an industry product type of textile product mills |
| (instance TextileProductMills IndustryAttribute) | naics.kif 2073-2073 | Textile product mills is an instance of industry attribute |
| (documentation TextileProductMills EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Textile Product Mills.") | naics.kif 2075-2077 | Textile product mills is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG TextileProductMills)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Fabric) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2079-2095 | If X is an instance of organization and textile product mills 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, V (5) U such that Y is an instance of manufacture (6) W is an instance of fabric (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
|