TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2640-2641
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7546-7547
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1356-1357
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7543-7543	width e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7542-7542	width e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7544-7544	width e' uma sub-relacao de linearExtent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 615-615
No TPTP formula. May not be expressible in strict first order.	english_format.kif 618-618
No TPTP formula. May not be expressible in strict first order.	french_format.kif 372-372
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 316-316
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2106-2106
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 806-806
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 350-350
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 394-394
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 413-413
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 508-508
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 616-616
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63076-63076
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63075-63075

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 874-880	Objeto e' uma instancia de MaritimeClaimsTerritorialSeaFn Regiao a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Fisico e Regiao e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4693-4703	Objeto auto-conectado e' uma instancia de Bottle o fundo de Objeto auto-conectado e' Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 233-245	Fisico e' uma instancia de Projectile caliber Gun and Medida de Comprimento Objeto e' uma instancia de Gun a largura de Fisico e' Medida de Comprimento1 Medida de Comprimento e' igual a Medida de Comprimento1 Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 250-262	Fisico e' uma instancia de Projectile caliber Gun and Medida de Comprimento Fisico e' uma instancia de Gun a largura de Fisico e' Medida de Comprimento1 Medida de Comprimento e' igual a Medida de Comprimento1 Fisico tem por fim Entidade Entidade e' uma instancia de Atirar Fisico e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 2632-2641	Fisico e' uma instancia de Spaghetti Fisico e' uma instancia de Linguine Unidade de Medida e' uma instancia de UnitOfLength a largura de Fisico e' Numero Real Unidade de Medida(s) a largura de Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 219-228	Processo e' uma instancia de Atirar Objeto e' um instrumento para Processo Fisico e' um patient de Processo a largura de Fisico e' Medida de Comprimento Objeto e' uma instancia de ObjetoCLASS Fisico e' uma instancia de Projectile caliber ObjetoCLASS and Medida de Comprimento Medida de Comprimento e' igual a Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	maximumPayloadCapacity Vehicle and Numero Real Unidade de Medida(s) maximumPayloadHeightWidth Vehicle, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Objeto auto-conectado e' uma instancia de Objeto auto-conectado weight Objeto auto-conectado and Numero Real Numero RealU(s) a largura de Objeto auto-conectado e' Numero Real Numero RealU(s) a altura de Objeto auto-conectado e' Numero Real Numero RealU(s) Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero Real e' menor ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Vehicle e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' maior que 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' menor ou igual a 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9797-9803	A largura de Objeto auto-conectado e' Medida de Comprimento Objeto auto-conectado Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Objeto auto-conectado e' Medida de Comprimento

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1243-1248	Objeto e' uma instancia de OpticalDisc MiniSizeDisc e' um atributo de Objeto a largura de Objeto e' 80 Millimeter(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1230-1235	Objeto e' uma instancia de OpticalDisc StandardSizeDisc e' um atributo de Objeto a largura de Objeto e' 120 Millimeter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31103-31108	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Fisico e' um elemento de Conjunto a largura de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31096-31101	memberMeasure Classe, Width and Medida de Comprimento Classe e' uma instancia de Classe Fisico e' uma instancia de Classe a largura de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9805-9810	O side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Objeto auto-conectado e' Medida de Comprimento a largura de Objeto auto-conectado e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13425-13434	defaultMaximumWidth Objeto and Numero Real Unidade de Medida(s) o argumento Entidade Numero RealIDTH Entidade e' uma instancia de Objeto a largura de Entidade e' Numero RealIDTH Unidade de Medida(s) Numero RealIDTH e' maior que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13409-13417	defaultMinimumWidth Objeto and Numero Real Unidade de Medida(s) o argumento Entidade Numero RealIDTH Entidade e' uma instancia de Objeto a largura de Entidade e' Numero RealIDTH Unidade de Medida(s) Numero RealIDTH e' menos que Numero Real tem a forca modal de Unlikely
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.	WMD.kif 205-211	Fisico e' uma instancia de Bacteria Numero Real a largura de Fisico e' Numero Real Meter(s) Numero Real e' maior ou igual a 0.000001 Numero Real e' menor ou igual a 0.000002
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 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 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.	WMD.kif 1179-1184	Fisico e' uma instancia de YellowFeverVirus Numero Real a largura de Fisico e' Numero Real Meter(s) Numero Real e' igual a 0.00000002
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3834-3838	Fisico e' uma instancia de DoubleBed a largura de Fisico e' 1.35 Meter(s) o comprimento de Fisico e' 2.0 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3777-3781	Fisico e' uma instancia de KingBed a largura de Fisico e' 1.9 Meter(s) o comprimento de Fisico e' 2.0 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3808-3812	Fisico e' uma instancia de QueenBed a largura de Fisico e' 1.5 Meter(s) o comprimento de Fisico e' 2.0 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3860-3864	Fisico e' uma instancia de SingleBed a largura de Fisico e' 1.0 Meter(s) o comprimento de Fisico e' 2.0 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 830-835	Fisico e' uma instancia de UniformPerimeterArea Medida de Comprimento Medida de Comprimento e' uma instancia de Medida de Comprimento a largura de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 121-138	maximumPayloadHeightWidth Vehicle, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Processo Objeto auto-conectado, Numero Real, Numero RealU, Numero Real and Numero RealU Processo e' uma instancia de Transporte Vehicle e' um instrumento para Processo Objeto auto-conectado e' um patient de Processo a largura de Objeto auto-conectado e' Numero Real Numero RealU(s) a altura de Objeto auto-conectado e' Numero Real Numero RealU(s) Numero RealU e' igual a Unidade de Medida Numero RealU e' igual a Unidade de Medida Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real

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

KB Term:			Term intersection

English Word: