CavalryUnit - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CavalryUnit MilitaryUnit)	Mid-level-ontology.kif 9742-9742	Cavalry unit is a subclass of military unit
(documentation CavalryUnit EnglishLanguage "MilitaryUnits composed primarily of Soldiers who are mounted, i.e. who perform their combat missions from a Horse or Vehicle.")	Mid-level-ontology.kif 9743-9745	Cavalry unit is a subclass of military unit
(externalImage CavalryUnit "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Blues.and.royals.closeup.london.arp.jpg")	pictureList.kif 8407-8407	Cavalry unit is a subclass of military unit
(externalImage CavalryUnit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ French_Republican_Guard_cavalry_DSC03123.JPG")	pictureList.kif 9035-9035	Cavalry unit is a subclass of military unit
(externalImage CavalryUnit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Roman_cavalry_lg.jpg")	pictureList.kif 9036-9036	Cavalry unit is a subclass of military unit
(externalImage CavalryUnit "http://upload.wikimedia.org/wikipedia/en/0/09/ Ikhwan_4-1.jpg")	pictureList.kif 9037-9037	Cavalry unit is a subclass of military unit

appearance as argument number 2

(termFormat EnglishLanguage CavalryUnit "cavalry unit")	domainEnglishFormat.kif 13542-13542
(termFormat ChineseTraditionalLanguage CavalryUnit "騎兵部隊")	domainEnglishFormat.kif 13543-13543
(termFormat ChineseLanguage CavalryUnit "骑兵部队")	domainEnglishFormat.kif 13544-13544

antecedent

(=>
    (and
        (instance ?C CavalryUnit)
        (instance ?B Battle)
        (agent ?B ?C))
    (exists (?P ?V ?T)
        (and
            (attribute ?P Soldier)
            (member ?P ?C)
            (instance ?T Transportation)
            (agent ?T ?P)
            (instance ?V Vehicle)
            (patient ?T ?V)
            (during ?T ?B))))

If X is an instance of cavalry unit, Y is an instance of battle, and X is an agent of Y, then All of the following hold: (1) there exist Z, W (2) V such that soldier is an attribute of Z (3) Z is a member of X (4) V is an instance of transportation (5) Z is an agent of V (6) W is an instance of vehicle (7) W is a patient of V (8) V takes place during Y