| 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 | |
| (domain effectiveRange 2 LengthMeasure) | Mid-level-ontology.kif 1605-1605 | |
| (instance effectiveRange BinaryPredicate) | Mid-level-ontology.kif 1601-1601 | |
| (instance effectiveRange SingleValuedRelation) | Mid-level-ontology.kif 1602-1602 | |
| (subrelation effectiveRange measure) | Mid-level-ontology.kif 1603-1603 |
| 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