TreeView Knowledge Base Browser - effectiveRange

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	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
(=> (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	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument

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 is open source software produced by Articulate Software and its partners