Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Spear

 Sigma KEE - Spear
Spear(spear)
assagai, assegai, javelin, lance, shaft, spear, trident

appearance as argument number 1
-------------------------


(subclass Spear Weapon) Mid-level-ontology.kif 1210-1210 Spear is a subclass of weapon
(documentation Spear EnglishLanguage "A Weapon consisting of a long shaft and a rigid pointed tip, used by thrusting or throwing toward a target. Unlike a Sword, whose primary action is slashing with a blade, a Spear attacks by concentrating force at a single rigid point.") Mid-level-ontology.kif 1211-1214 Spear is a subclass of weapon
(defaultMinimumHeight Spear
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 961-961 The minimum expected height of spear is 1 inch(s)
(defaultMaximumHeight Spear
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 962-962 The maximum expected height of spear is 5 inch(s)
(defaultMinimumWidth Spear
    (MeasureFn 1 Inch))		 DimensioningAmenities.kif 963-963 The minimum expected width of spear is 1 inch(s)
(defaultMaximumWidth Spear
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 964-964 The maximum expected width of spear is 5 inch(s)
(defaultMinimumLength Spear
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 965-965 The minimum expected length of spear is 36 inch(s)
(defaultMaximumLength Spear
    (MeasureFn 120 Inch))		 DimensioningAmenities.kif 966-966 The maximum expected length of spear is 120 inch(s)
(defaultMinimumMeasure Spear
    (MeasureFn 5 PoundMass))		 DimensioningAmenities.kif 967-967 The minimum expected value of spear is 5 pound mass(s)
(defaultMaximumMeasure Spear
    (MeasureFn 30 PoundMass))		 DimensioningAmenities.kif 968-968 The maximum expected value of spear is 30 pound mass(s)
(externalImage Spear "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 57/ Mesa_Verde_spear_and_knife.jpg/ 350px_Mesa_Verde_spear_and_knife.jpg") pictureList.kif 1309-1309 The maximum expected value of spear is 30 pound mass(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Spear "spear") domainEnglishFormat.kif 54481-54481
(termFormat ChineseTraditionalLanguage Spear "矛") domainEnglishFormat.kif 54482-54482
(termFormat ChineseLanguage Spear "矛") domainEnglishFormat.kif 54483-54483

antecedent
-------------------------


(=>
    (instance ?S Spear)
    (capability Poking instrument ?S))		 Mid-level-ontology.kif 1216-1218 If X is an instance of spear, then X is capable of doing poking as a instrument
(=>
    (instance ?S Spear)
    (capability Throwing instrument ?S))		 Mid-level-ontology.kif 1220-1222 If X is an instance of spear, then X is capable of doing throwing as a instrument
(=>
    (instance ?S Spear)
    (attribute ?S Rigid))		 Mid-level-ontology.kif 1224-1226 If X is an instance of spear, then rigid is an attribute of X
(=>
    (instance ?S Spear)
    (exists (?H)
        (and
            (instance ?H Handle)
            (part ?H ?S))))		 Mid-level-ontology.kif 1228-1233 If X is an instance of spear, then there exists Y such that Y is an instance of handle and Y is a part of X
(=>
    (instance ?S Spear)
    (hasPurpose ?S
        (exists (?P ?A)
            (and
                (instance ?A CognitiveAgent)
                (or
                    (instance ?P Poking)
                    (instance ?P Hunting)
                    (instance ?P Attacking))
                (instrument ?P ?S)
                (agent ?P ?A)))))		 Mid-level-ontology.kif 1235-1246 If X is an instance of spear, then X has the purpose there exist Y, Z such that Z is an instance of cognitive agent, Y is an instance of poking, Y is an instance of hunting, or Y is an instance of Attacking, X is an instrument for Y, and Z is an agent of Y
(=>
    (instance ?S Spear)
    (modalAttribute
        (material Metal ?S) Likely))		 Mid-level-ontology.kif 1247-1250 If X is an instance of spear, then the statement X is made of metal has the modal force of likely


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners