Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  InitialNodeFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Consulate DiplomaticOrganization) | Government.kif 4708-4708 | Consulate is a subclass of diplomatic organization |
| (documentation Consulate EnglishLanguage "Consulate is a class of government organizations that represent one nation within the territory of a second nation. Consulates offer services for citizens of their own country abroad, as well as for citizens of the host country who have dealings with the country represented by the consulate general. See also ConsulateGeneral.") | Government.kif 4710-4715 | Consulate is a subclass of diplomatic organization |
| appearance as argument number 2 |
|
|
|