![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InformationIndustries(information industry) |
| appearance as argument number 1 |
|
|
| (instance InformationIndustries IndustryAttribute) | naics.kif 8826-8826 | Information industry is an instance of industry attribute |
| (documentation InformationIndustries EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Information.") | naics.kif 8828-8830 | Information industry is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries))) |
Media.kif 1841-1845 | If X publishes Y holds during Z and Y is a subclass of text, then information industry is an attribute of X holds during Z |