Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Friction
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MilitaryBase Region) | MilitaryProcesses.kif 2784-2784 | Military base is a subclass of region |
| (documentation MilitaryBase EnglishLanguage "A MilitaryBase is a facility directly owned and operated by or for the military or one of its branches that shelters military equipment and personnel, and facilitates training and operations.[1] A military base always provides accommodations for one or more units, but it may also be used as a command center, training ground or proving ground.[Wikipedia]") | MilitaryProcesses.kif 2785-2788 | Military base is a subclass of region |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B MilitaryBase) (exists (?F) (and (instance ?F MilitaryForce) (possesses ?F ?B)))) |
MilitaryProcesses.kif 2792-2797 | If X is an instance of military base, then there exists Y such that Y is an instance of military force and Y possesses X |
| (=> (instance ?B MilitaryBase) (exists (?H) (and (instance ?H Human) (attribute ?H MilitaryPerson) (inhabits ?H ?B)))) |
MilitaryProcesses.kif 2799-2805 | If X is an instance of military base, then there exists Y such that Y is an instance of human, military person is an attribute of Y, and Y lives in X |
|