SelfConnectedObject - Sigma Knowledge base Browser

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 14881-14881	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 14896-14896	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 14288-14288	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 17940-17940	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 9731-9731	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 9732-9732	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 6680-6680	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 22698-22698	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 17400-17400	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 9761-9761	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 9762-9762	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 9699-9699	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 9700-9700	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 9746-9746	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 9747-9747	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 9537-9541	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 1993-2005	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 9543-9547	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 12497-12502	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 14476-14482	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 12513-12518	Processo e' uma instancia de Separar Entidade Entidade e' uma instancia de Objeto auto-conectado Entidade e' um patient de Processo

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

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: