TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1806-1810
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2138-2146
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 421-427
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10629-10629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10628-10628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10631-10631
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10630-10630
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10627-10627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10626-10626
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9942-9942
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10633-10633
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10625-10625
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2136-2136	Classe e' uma sub-classe de Conjunto ou Classe

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1762-1762	O contra-dominio de ExtensionFn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5584-5584	O contra-dominio de KappaFn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1516-1516	O contra-dominio de WeekBeforeMenstruationFn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 886-886
No TPTP formula. May not be expressible in strict first order.	english_format.kif 974-974
No TPTP formula. May not be expressible in strict first order.	french_format.kif 562-562
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 95-95
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2247-2247
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 514-514
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 97-97
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 129-129
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 583-583
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 96-96

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1490-1490	O argumento numero 1 de TTFxFn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3575-3575	O argumento numero 2 de closedOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 395-395	O argumento numero 1 de disjoint e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 396-396	O argumento numero 2 de disjoint e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 566-566	O argumento numero 1 de disjointDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 567-567	O argumento numero 2 de disjointDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 210-210	O argumento numero 3 de domain e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 232-232	O argumento numero 3 de domainSubclass e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3706-3706	O argumento numero 2 de equivalenceRelationOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 548-548	O argumento numero 1 de exhaustiveDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 549-549	O argumento numero 2 de exhaustiveDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 91-91	O argumento numero 2 de immediateInstance e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 153-153	O argumento numero 1 de immediateSubclass e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 154-154	O argumento numero 2 de immediateSubclass e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 82-82	O argumento numero 2 de instance e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31007-31007	O argumento numero 1 de memberMeasure e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22650-22650	O argumento numero 2 de memberType e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22664-22664	O argumento numero 2 de memberTypeCount e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3643-3643	O argumento numero 2 de partialOrderingOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 582-582	O argumento numero 1 de partition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 583-583	O argumento numero 2 de partition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 307-307	O argumento numero 2 de range e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3604-3604	O argumento numero 2 de reflexiveOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	O argumento numero 1 de subclass e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	O argumento numero 2 de subclass e' uma instancia de Classe

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31018-31023	memberMeasure Classe, MeasurementAttribute and Quantidade Classe e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31025-31030	memberMeasure Classe, MeasurementAttribute and Quantidade Fisica Classe e' uma instancia de Classe Fisico e' uma instancia de Classe a medida de Fisico e' Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31186-31191	memberMeasure Classe, ApproximateDiameter and Medida de Comprimento Classe e' uma instancia de Classe Objeto auto-conectado e' uma instancia de Classe approximateDiameter Objeto auto-conectado and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31215-31220	memberMeasure Classe, Area and Medida de Area Classe e' uma instancia de Classe Regiao e' uma instancia de Classe totalArea Regiao and Medida de Area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31119-31124	memberMeasure Classe, Circumfrence and Medida de Comprimento Classe e' uma instancia de Classe Circle e' uma instancia de Classe circumfrence Circle and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31164-31169	memberMeasure Classe, Diameter and Medida de Comprimento Classe e' uma instancia de Classe Circle e' uma instancia de Classe o diametro de Circle e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31325-31332	memberMeasure Classe, Frequency and Duracao Temporal Classe e' uma instancia de Classe AutonomousAgent e' uma instancia de Classe Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31053-31058	memberMeasure Classe, Length and Medida de Comprimento Classe e' uma instancia de Classe Fisico e' uma instancia de Classe o comprimento de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31355-31360	memberMeasure Classe, TransformerCapacity and Funcao de Quantidade Classe e' uma instancia de Classe ElectricalTransformer e' uma instancia de Classe transformerCapacity ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31237-31242	memberMeasure Classe, VoltageRatingPrimary and Funcao de Quantidade Classe e' uma instancia de Classe ElectricalTransformer e' uma instancia de Classe voltageRatingPrimary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31280-31285	memberMeasure Classe, VoltageRatingSecondary and Funcao de Quantidade Classe e' uma instancia de Classe ElectricalTransformer e' uma instancia de Classe voltageRatingSecondary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31098-31103	memberMeasure Classe, Width and Medida de Comprimento Classe e' uma instancia de Classe Objeto auto-conectado e' uma instancia de Classe a altura de Objeto auto-conectado e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31072-31077	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 828-830	Classe e' uma instancia de Classe Classe e' uma sub-classe de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	Colecao e' uma instancia de WebListingCategory Fisico e' uma instancia de WebListing Fisico e' uma instancia de WebListing Processo e' uma instancia de Objeto Processo e' uma instancia de Objeto Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' um patient de Processo Fisico e' um patient de Processo Classe Classe e' uma instancia de Classe Processo e' uma instancia de Classe Processo e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 574-578	@ROW e' disjuntamente decomponivel em @ROW Entidade e' um membro de (@ROW) Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 558-562	@ROW e' coberto por @ROW Entidade e' um membro de (@ROW) Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2034-2041	Objeto e' uma instancia de ProductDescriptionPage Entidade Processo Entidade e' uma instancia de Classe Processo e' uma instancia de Promover Entidade e' um patient de Processo Processo e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2043-2052	Objeto e' uma instancia de ProductDescriptionPage Entidade Processo, Processo and ProcessoCONTENT Entidade e' uma instancia de Classe Processo e' uma instancia de Declarar Processo e' um patient de Processo Processo inclui uma referencia a Entidade ProcessoCONTENT e' o resultado de Processo ProcessoCONTENT e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 137-141	Classe e' uma sub-classe de Classe Classe e' uma instancia de Classe Classe e' uma instancia de Classe

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: