Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  friend
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MilitaryRegrouping MilitaryProcess) | MilitaryProcesses.kif 2759-2759 | Regrouping is a subclass of military process |
| (documentation MilitaryRegrouping EnglishLanguage "A change in organizational structure or location of military forces especially after a military attack or defeat.") | MilitaryProcesses.kif 2760-2761 | Regrouping is a subclass of military process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MilitaryRegrouping "regrouping") | MilitaryProcesses.kif 2762-2762 |
|