TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1389-1391
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1387-1387	O argumento numero 1 de effectiveRange e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1388	O argumento numero 2 de effectiveRange e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1384-1384	effectiveRange e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1385-1385	effectiveRange e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1386-1386	effectiveRange e' uma sub-relacao de 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 1417-1436	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1662-1674	Objeto auto-conectado e' uma instancia de AAV o comprimento de Objeto auto-conectado e' 7.94 Meter(s) a largura de Objeto auto-conectado e' 3.27 Meter(s) weight Objeto auto-conectado and 22.8 TonMass(s) a altura de Objeto auto-conectado e' 3.26 Meter(s) effectiveRange Objeto auto-conectado and 480.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1235-1247	Objeto auto-conectado e' uma instancia de AGM114 o comprimento de Objeto auto-conectado e' 1.63 Meter(s) a largura de Objeto auto-conectado e' 0.71 Meter(s) a altura de Objeto auto-conectado e' 0.71 Meter(s) weight Objeto auto-conectado and 45.0 Kilogram(s) effectiveRange Objeto auto-conectado and 8.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1155-1167	Objeto auto-conectado e' uma instancia de AGM65 o comprimento de Objeto auto-conectado e' 2.55 Meter(s) a largura de Objeto auto-conectado e' 0.7 Meter(s) a altura de Objeto auto-conectado e' 0.7 Meter(s) weight Objeto auto-conectado and 302.0 Kilogram(s) effectiveRange Objeto auto-conectado and 27.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1900-1912	Objeto auto-conectado e' uma instancia de AH1 o comprimento de Objeto auto-conectado e' 17.68 Meter(s) a largura de Objeto auto-conectado e' 14.63 Meter(s) a altura de Objeto auto-conectado e' 4.44 Meter(s) weight Objeto auto-conectado and 4634.0 Kilogram(s) effectiveRange Objeto auto-conectado and 587.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1189-1201	Objeto auto-conectado e' uma instancia de AIM9 o comprimento de Objeto auto-conectado e' 2.85 Meter(s) a largura de Objeto auto-conectado e' 0.63 Meter(s) a altura de Objeto auto-conectado e' 0.63 Meter(s) weight Objeto auto-conectado and 91.0 Kilogram(s) effectiveRange Objeto auto-conectado and 18.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 862-865	Aparelho e' uma instancia de BGM71TOW effectiveRange Aparelho and 3.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1860-1872	Objeto auto-conectado e' uma instancia de CH46D o comprimento de Objeto auto-conectado e' 25.72 Meter(s) a largura de Objeto auto-conectado e' 15.54 Meter(s) a altura de Objeto auto-conectado e' 5.1 Meter(s) weight Objeto auto-conectado and 7047.0 Kilogram(s) effectiveRange Objeto auto-conectado and 676.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1788-1800	Objeto auto-conectado e' uma instancia de CH53E o comprimento de Objeto auto-conectado e' 30.2 Meter(s) a largura de Objeto auto-conectado e' 24.1 Meter(s) a altura de Objeto auto-conectado e' 8.46 Meter(s) weight Objeto auto-conectado and 15071.0 Kilogram(s) effectiveRange Objeto auto-conectado and 2000.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 714-717	Aparelho e' uma instancia de DragonWeapon effectiveRange Aparelho and 1.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1744-1756	Objeto auto-conectado e' uma instancia de Harrier2 o comprimento de Objeto auto-conectado e' 14.1 Meter(s) a largura de Objeto auto-conectado e' 9.2 Meter(s) a altura de Objeto auto-conectado e' 3.5 Meter(s) weight Objeto auto-conectado and 5700.0 Kilogram(s) effectiveRange Objeto auto-conectado and 1000.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 773-776	Aparelho e' uma instancia de JavelinWeapon effectiveRange Aparelho and 1.5 Mile(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1542-1554	Objeto auto-conectado e' uma instancia de LAV25 o comprimento de Objeto auto-conectado e' 6.39 Meter(s) a largura de Objeto auto-conectado e' 2.5 Meter(s) a altura de Objeto auto-conectado e' 2.69 Meter(s) weight Objeto auto-conectado and 12802.8 Kilogram(s) effectiveRange Objeto auto-conectado and 660.1 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1967-1973	Aparelho e' uma instancia de LCAC o comprimento de Aparelho e' 88.0 FootLength(s) effectiveRange Aparelho and 555.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 405-408	Aparelho e' uma instancia de M240 effectiveRange Aparelho and 1.8 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 287-290	Aparelho e' uma instancia de M242 effectiveRange Aparelho and 2.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 509-512	Aparelho e' uma instancia de M2Browning effectiveRange Aparelho and 2.0 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 586-589	Aparelho e' uma instancia de M3M effectiveRange Aparelho and 1.85 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 445-448	Aparelho e' uma instancia de M60 effectiveRange Aparelho and 1.1 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 648-651	Aparelho e' uma instancia de MK19 effectiveRange Aparelho and 1.6 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 840-843	Aparelho e' uma instancia de SMAWBunkerBuster effectiveRange Aparelho and 0.5 Kilometer(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 543-546	Aparelho e' uma instancia de XM218 effectiveRange Aparelho and 2.0 Kilometer(s)

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

KB Term:			Term intersection

English Word: