Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  USMilitary
|
|
|
| appearance as argument number 1 |
|
|
| (instance USMilitary MilitaryOrganization) | MilitaryProcesses.kif 973-973 | US military is an instance of military organization |
| (militaryOfArea USMilitary UnitedStates) | MilitaryProcesses.kif 974-974 | United states is a military of area of US military |
| (documentation USMilitary EnglishLanguage "All Military of the United States.") | MilitaryProcesses.kif 975-975 | United states is a military of area of US military |
| (externalImage USMilitary "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ US_National_Command.png") | pictureList.kif 5535-5535 | United states is a military of area of US military |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage USMilitary "United States military") | MilitaryProcesses.kif 2981-2981 | |
| (termFormat EnglishLanguage USMilitary "US military") | domainEnglishFormat.kif 60869-60869 | |
| (termFormat ChineseTraditionalLanguage USMilitary "美軍") | domainEnglishFormat.kif 60870-60870 | |
| (termFormat ChineseLanguage USMilitary "美军") | domainEnglishFormat.kif 60871-60871 |
| consequent |
|
|
| (=> (instance ?A ArleighBurkeClassDDG) (possesses USMilitary ?A)) |
Military.kif 449-451 | If X is an instance of Arleigh Burke Class DDG, then US military possesses X |
| (=> (and (subclass ?PUB JointPublication) (instance ?ONE ?PUB) (containsFormula ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?ORG ?JORG ?CONTENT)))) |
MilitaryProcesses.kif 962-971 | If X is a subclass of joint publication, Y is an instance of X, Y contains the formula Z, and W is the author of X, then there exists V such that V is a part of the organization US military and W obligates Z to perform task of the type V |
| (=> (and (instance ?R ANSPY6) (possesses ?N ?R) (uses ?R ?N)) (and (instance ?N NavyBranchOfService) (subOrganization ?N USMilitary))) |
Transportation.kif 5377-5384 | If X is an instance of An/SPY-6, Y possesses X, and Y uses X, then Y is an instance of navy branch of service and Y is a part of the organization US military |
|
