Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  USStateDepartment
|
|
|
| appearance as argument number 1 |
|
|
| (instance USStateDepartment Government) | Government.kif 2355-2355 | US state department is an instance of government |
| (documentation USStateDepartment EnglishLanguage "The branch of the US Government that handles relations with foreign governments and entities. It is the chief diplomatic instrument of US foreign policy. It controls US embassies and consuls.") | Government.kif 2356-2359 | US state department is an instance of government |
| (subOrganization USStateDepartment (GovernmentFn UnitedStates)) |
Government.kif 2361-2361 | US state department is a part of the organization the government of united states |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?X ForeignTerroristOrganization) (exists (?EV) (and (instance ?EV Declaring) (agent ?EV USStateDepartment) (patient ?EV ?X)))) |
Government.kif 2363-2369 | If X is an instance of foreign terrorist organization, then there exists Y such that Y is an instance of declaring, US state department is an agent of Y, and X is a patient of Y |
|