Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Agency
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Agency Business) | Mid-level-ontology.kif 8419-8419 | Agency is a subclass of business |
| (documentation Agency EnglishLanguage "A Business whose customers are all other CommercialAgents, e.g. staffing agencies, food-service providers, etc.") | Mid-level-ontology.kif 8420-8421 | Agency is a subclass of business |
| (externalImage Agency "http://upload.wikimedia.org/wikipedia/en/e/e1/CNN_globe_logo.png") | pictureList.kif 9872-9872 | Agency is a subclass of business |
| (externalImage Agency "http://upload.wikimedia.org/wikipedia/en/1/14/CNN_International.jpg") | pictureList.kif 10364-10364 | Agency is a subclass of business |
| (externalImage Agency "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Cia_lobby_seal.jpg") | pictureList.kif 10365-10365 | Agency is a subclass of business |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?A Agency) (customer ?C ?A)) (instance ?C CommercialAgent)) |
Mid-level-ontology.kif 8423-8427 | If X is an instance of agency and X is a customer of Y, then Y is an instance of commercial agent |
|
