Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MilitaryService
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MilitaryService MilitaryOrganization) | Mid-level-ontology.kif 9697-9697 | Military service is a subclass of military organization |
| (documentation MilitaryService EnglishLanguage "A branch of the armed forces of a Nation. For example, there are five military services in the United States, the army, the navy, the air force, the marines, and the coast guard.") | Mid-level-ontology.kif 9698-9700 | Military service is a subclass of military organization |
| (externalImage MilitaryService "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Facendo_o_servizo_militar.1945-Spain.jpg") | pictureList.kif 6701-6701 | Military service is a subclass of military organization |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (attribute ?P ?R) (instance ?R MilitaryRank)) (member ?P MilitaryService)) |
Military.kif 524-528 | If X is an attribute of Y and X is an instance of military rank, then Y is a member of military service |
|
