Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExternalAgency(external agency) |
| appearance as argument number 1 |
|
| (subclass ExternalAgency MilitaryOrganization) | MilitaryProcesses.kif 901-901 | External agency is a subclass of military organization |
| (documentation ExternalAgency EnglishLanguage "Some external agancy involved with the Military, say CIA, NSA and the like (my own idea!).") | MilitaryProcesses.kif 902-903 | External agency is a subclass of military organization |
| appearance as argument number 2 |
|
|
|