![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
SecretaryOfTheInterior
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (holdsDuring ?T1 (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior)) (holdsDuring ?T1 (leader UnitedStatesDepartmentOfInterior ?PERSON))) |
Government.kif 4851-4855 | If X holds the position of secretary of the interior in united states department of interior holds during Y, then X is a leader of united states department of interior holds during Y |