![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Doctrine(doctrine) |
| appearance as argument number 1 |
|
|
| (subclass Doctrine Text) | MilitaryProcesses.kif 1015-1015 | Doctrine is a subclass of text |
| (documentation Doctrine EnglishLanguage "Fundamental principles by which the military forces or elements thereof guide their actions in support of national objectives. It is authoritative but requires judgment in application.") | MilitaryProcesses.kif 1016-1019 | Doctrine is a subclass of text |
| appearance as argument number 2 |
|
|