Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - effectiveRange
effectiveRange

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


(documentation effectiveRange EnglishLanguage "Models the effective range of some device that is able to move by itself (like vehicles, rockets and so on) or move other things (like weapons).") Mid-level-ontology.kif 1606-1608
(domain effectiveRange 1 Device) Mid-level-ontology.kif 1604-1604 The number 1 argument of effective range is an instance of device
(domain effectiveRange 2 LengthMeasure) Mid-level-ontology.kif 1605-1605 The number 2 argument of effective range is an instance of length measure
(instance effectiveRange BinaryPredicate) Mid-level-ontology.kif 1601-1601 effective range is an instance of binary predicate
(instance effectiveRange SingleValuedRelation) Mid-level-ontology.kif 1602-1602 effective range is an instance of single valued relation
(subrelation effectiveRange measure) Mid-level-ontology.kif 1603-1603 effective range is a subrelation of measure

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


(format ChineseLanguage effectiveRange "%2 %n 是 %1 的 effective 范围") domainEnglishFormat.kif 836-836
(format ChineseTraditionalLanguage effectiveRange "%2 %n 是 %1 的 effective 範圍") domainEnglishFormat.kif 835-835
(format EnglishLanguage effectiveRange "%2 is %n an effective range of %1") domainEnglishFormat.kif 834-834
(termFormat ChineseLanguage effectiveRange "有效范围") domainEnglishFormat.kif 21309-21309
(termFormat ChineseTraditionalLanguage effectiveRange "有效範圍") domainEnglishFormat.kif 21308-21308
(termFormat EnglishLanguage effectiveRange "effective range") domainEnglishFormat.kif 21307-21307

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


(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (instance ?O Organism)
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?KILLING)
        (capability
            (KappaFn ?KILLING
                (and
                    (instance ?KILLING Killing)
                    (patient ?KILLING ?O))) instrument ?GUN)))
Mid-level-ontology.kif 1634-1653
(=>
    (and
        (instance ?GUN Gun)
        (instance ?U UnitOfLength)
        (effectiveRange ?GUN
            (MeasureFn ?LM ?U))
        (distance ?GUN ?O
            (MeasureFn ?LM1 ?U))
        (not
            (exists (?O2)
                (between ?O ?O2 ?GUN)))
        (lessThanOrEqualTo ?LM1 ?LM))
    (exists (?DAMAGING)
        (capability
            (KappaFn ?DAMAGING
                (and
                    (instance ?DAMAGING Damaging)
                    (patient ?DAMAGING ?O))) instrument ?GUN)))
Mid-level-ontology.kif 1612-1630


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners