TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1382-1384
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1380-1380	The number 1 argument of effective range is an instance of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1381-1381	The number 2 argument of effective range is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1377-1377	effective range is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1378-1378	effective range is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1379-1379	effective range is a subrelation of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 836-836
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 835-835
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 834-834
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21300-21300
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21299-21299
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21298-21298

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1429	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1406	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

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1662-1674	If a self connected object is an instance of Amphibious Assault Vehicle, then the length of the self connected object is 7.94 meter(s) and the width of the self connected object is 3.27 meter(s) and 22.8 ton mass(s) is a weight of the self connected object and the height of the self connected object is 3.26 meter(s) and 480.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1235-1247	If a self connected object is an instance of AG m114, then the length of the self connected object is 1.63 meter(s) and the width of the self connected object is 0.71 meter(s) and the height of the self connected object is 0.71 meter(s) and 45.0 kilogram(s) is a weight of the self connected object and 8.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1155-1167	If a self connected object is an instance of AG m65, then the length of the self connected object is 2.55 meter(s) and the width of the self connected object is 0.7 meter(s) and the height of the self connected object is 0.7 meter(s) and 302.0 kilogram(s) is a weight of the self connected object and 27.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1900-1912	If a self connected object is an instance of A h1, then the length of the self connected object is 17.68 meter(s) and the width of the self connected object is 14.63 meter(s) and the height of the self connected object is 4.44 meter(s) and 4634.0 kilogram(s) is a weight of the self connected object and 587.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1189-1201	If a self connected object is an instance of AI m9, then the length of the self connected object is 2.85 meter(s) and the width of the self connected object is 0.63 meter(s) and the height of the self connected object is 0.63 meter(s) and 91.0 kilogram(s) is a weight of the self connected object and 18.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 862-865	If a device is an instance of BG m71TO w, then 3.0 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1860-1872	If a self connected object is an instance of C h46 d, then the length of the self connected object is 25.72 meter(s) and the width of the self connected object is 15.54 meter(s) and the height of the self connected object is 5.1 meter(s) and 7047.0 kilogram(s) is a weight of the self connected object and 676.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1788-1800	If a self connected object is an instance of C h53 e, then the length of the self connected object is 30.2 meter(s) and the width of the self connected object is 24.1 meter(s) and the height of the self connected object is 8.46 meter(s) and 15071.0 kilogram(s) is a weight of the self connected object and 2000.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 714-717	If a device is an instance of dragon weapon, then 1.0 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1744-1756	If a self connected object is an instance of harrier2, then the length of the self connected object is 14.1 meter(s) and the width of the self connected object is 9.2 meter(s) and the height of the self connected object is 3.5 meter(s) and 5700.0 kilogram(s) is a weight of the self connected object and 1000.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 773-776	If a device is an instance of javelin weapon, then 1.5 mile(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1542-1554	If a self connected object is an instance of LAV25, then the length of the self connected object is 6.39 meter(s) and the width of the self connected object is 2.5 meter(s) and the height of the self connected object is 2.69 meter(s) and 12802.8 kilogram(s) is a weight of the self connected object and 660.1 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1967-1973	If a device is an instance of LCAC, then the length of the device is 88.0 foot length(s) and 555.0 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 405-408	If a device is an instance of m240, then 1.8 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 287-290	If a device is an instance of m242, then 2.0 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 509-512	If a device is an instance of m2 browning, then 2.0 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 586-589	If a device is an instance of M3M, then 1.85 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 445-448	If a device is an instance of m60, then 1.1 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 648-651	If a device is an instance of Mk19, then 1.6 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 840-843	If a device is an instance of SMAW bunker buster, then 0.5 kilometer(s) is an effective range of the device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 543-546	If a device is an instance of XM218, then 2.0 kilometer(s) is an effective range of the device

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

KB Term:			Term intersection

English Word: