TreeView Knowledge Base Browser - SelfConnectedObject

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1555-1556
No TPTP formula. May not be expressible in strict first order.	Merge.kif 864-865
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 126-127
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 146-147
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	Objeto auto-conectado e' uma sub-classe de Objeto

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1262-1262	Colecao e' disjunto de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 899-899	O contra-dominio de BackFn e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 879-879	O contra-dominio de FrontFn e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14859-14859	Os valores retornados por FoodForFn sao as sub-classes de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	BodyOfWater e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	Objeto Corpuscular e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14874-14874	Comida e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4723-4723	Iceberg e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 867-867	OrganicThing e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2361-2361	Ramp e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2574-2574	ShipContainer e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	Substancia e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	Transitway e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 816-816
No TPTP formula. May not be expressible in strict first order.	english_format.kif 834-834
No TPTP formula. May not be expressible in strict first order.	french_format.kif 492-492
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 25-25
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 28-28
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2177-2177
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 444-444
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 29-29
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 59-59
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 513-513
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 29-29

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 898-898	O argumento numero 1 de BackFn e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 878-878	O argumento numero 1 de FrontFn e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17941-17941	O argumento numero 1 de approximateDiameter e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9709-9709	O argumento numero 1 de bottom e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9710-9710	O argumento numero 2 de bottom e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6681-6681	O argumento numero 1 de capacity e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1019-1019	O argumento numero 1 de contains e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7550-7550	O argumento numero 1 de height e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 995-995	O argumento numero 2 de hole e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22699-22699	O argumento numero 1 de memberAtTime e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17401-17401	O argumento numero 1 de onboard e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9739-9739	O argumento numero 1 de side e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9740-9740	O argumento numero 2 de side e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9677-9677	O argumento numero 1 de surface e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9678-9678	O argumento numero 2 de surface e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9724-9724	O argumento numero 1 de top e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9725-9725	O argumento numero 2 de top e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7284-7284	O argumento numero 1 de weight e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Food.kif 1656-1656	O argumento numero 1 de ingredientAmount e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Food.kif 1657-1657	O argumento numero 2 de ingredientAmount e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2605-2605	O argumento numero 2 de trafficableForTrafficType e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3036-3036	O argumento numero 2 de transitwayCapacityCount e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3046-3046	O argumento numero 2 de transitwayCapacityRate e' uma sub-classe de Objeto auto-conectado

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9515-9519	Objeto e' uma instancia de Objeto auto-conectado Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1987-1999	Entidade e' uma instancia de Objeto auto-conectado Processo e' uma instancia de Compressing Entidade e' um patient de Processo a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo Entidade e' uma instancia de UnitOfVolume a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
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.	UXExperimentalTerms.kif 4638-4652	meceCollection Colecao and Colecao Colecao e' uma instancia de Colecao Colecao e' uma instancia de Colecao Fisico e' uma instancia de Objeto auto-conectado Fisico e' membro de Colecao Colecao e' membro de Colecao Colecao e' membro de Colecao Colecao e' igual a Colecao ~{ Fisico e' membro de Colecao } ~{ Fisico e' membro de Colecao }
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4627-4636	meceCollection Colecao and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Objeto auto-conectado Colecao Colecao e' uma instancia de Colecao Fisico e' membro de Colecao Colecao e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4620-4625	meceCollection Colecao and Colecao Fisico e' membro de Colecao Fisico e' uma instancia de Objeto auto-conectado Fisico e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 910-912	Objeto auto-conectado e' uma instancia de Objeto auto-conectado o side de Objeto auto-conectado e' atras de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 891-893	Objeto auto-conectado e' uma instancia de Objeto auto-conectado o side de Objeto auto-conectado e' afrente de Objeto auto-conectado

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9521-9525	Objeto e' igual a a uniao das partes de Objeto e Objeto Objeto e' conectado com Objeto Objeto e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	PartialVacuum e' um atributo de Objeto Objeto Objeto, Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Objeto auto-conectado Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfAtmosphericPressure Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	Pressurized e' um atributo de Objeto Objeto Objeto, Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Objeto auto-conectado Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfAtmosphericPressure Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12475-12480	Processo e' uma instancia de Combinar Entidade Entidade e' uma instancia de Objeto auto-conectado Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14477-14483	Objeto e' uma instancia de Label Objeto Objeto e' uma instancia de Objeto auto-conectado Objeto e' conectado com Objeto Objeto inclui uma referencia a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12491-12496	Processo e' uma instancia de Separar Entidade Entidade e' uma instancia de Objeto auto-conectado Entidade e' um patient de Processo

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

KB Term:			Term intersection

English Word: