TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1987-1990
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3342-3348
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 620-624
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3340-3340	Predicado e' uma sub-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3339-3339	Predicado e' uma sub-classe de Relacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 455-455	contraryAttribute e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 564-564	disjointDecomposition e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 486-486	exhaustiveAttribute e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 546-546	exhaustiveDecomposition e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 580-580	partition e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 686-686	processList e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2162-2162	O conceito Relacao e' completamente decomposto em Predicado + Funcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3478-3478	Predicado Binario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18470-18470	ClosedWorldPredicate e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3550-3550	LogicalOperator e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3500-3500	Predicado Quaternario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3511-3511	Predicado Quinquenario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3489-3489	Predicado Ternario e' uma sub-classe de Predicado
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 915-915
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1037-1037
No TPTP formula. May not be expressible in strict first order.	french_format.kif 591-591
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 121-121
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 124-124
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2276-2276
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 543-543
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 126-126
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 158-158
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 612-612
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 125-125

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 18440-18440	O argumento numero 1 de defaultMaxValue e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18423-18423	O argumento numero 1 de defaultMinValue e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18457-18457	O argumento numero 1 de defaultValue e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18405-18405	O argumento numero 1 de maxValue e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18387-18387	O argumento numero 1 de minValue e' uma instancia de Predicado

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2998-3003	O argumento numero Inteiro positivo de Relacao e' uma instancia de Classe Relacao e' uma instancia de Predicado Relacao @ROW Inteiro positivoth elemento de (@ROW) e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3005-3010	O argumento numero Inteiro positivo de Relacao e' uma sub-classe de Classe Relacao e' uma instancia de Predicado Relacao @ROW Inteiro positivoth elemento de (@ROW) e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Media.kif 2106-2113	exactCardinality Relacao, Inteiro positivo and 1 Relacao e' uma instancia de Predicado Relacao @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 2093-2103	exactCardinality Relacao, Inteiro positivo and 1 Relacao e' uma instancia de Predicado Relacao @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 2075-2090	exactCardinality Relacao, Inteiro positivo and 1 Relacao e' uma instancia de Predicado Entidade @ARGS Relacao @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	exactCardinality Relacao, Inteiro positivo and Numero Inteiro Relacao e' uma instancia de Predicado Classe Entidade and @ARGS Classe e' uma instancia de Conjunto ou Classe Relacao @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' uma instancia de Classe o numero de instancias dentro de Classe e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 447-453	Relacao e' uma instancia de Predicado Relacao e' uma instancia de Predicado Relacao e Relacao sao disjuntos Relacao @ROW2 Relacao @ROW2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3610-3618	Relacao Binaria e' uma instancia de Relacao Reflexiva Relacao Binaria e' reflivo em Classe Relacao Binaria e' uma instancia de Predicado Entidade Entidade e' uma instancia de Classe Relacao Binaria Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	maxCardinality Relacao, Inteiro positivo and Numero Inteiro Relacao e' uma instancia de Predicado Classe Entidade and @ARGS Classe e' uma instancia de Conjunto ou Classe Relacao @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' uma instancia de Classe o numero de instancias dentro de Classe e' menor ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Media.kif 2174-2187	minCardinality Relacao, Inteiro positivo and Numero Inteiro Relacao e' uma instancia de Predicado Classe Entidade and @ARGS Classe e' uma instancia de Conjunto ou Classe Relacao @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) Entidade e' uma instancia de Classe o numero de instancias dentro de Classe e' maior ou igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 192-198	Relacao e' uma sub-relacao de Relacao Relacao e' uma instancia de Predicado Relacao e' uma instancia de Predicado Relacao @ROW Relacao @ROW
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3048-3055	Relacao tem Inteiro positivo argumento(s) Relacao e' uma instancia de Predicado @ROW Relacao @ROW comprimento de (@ROW) e' igual a Inteiro positivo

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: