TreeView Knowledge Base Browser - exactCardinality

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

exactCardinality

Sigma KEE - exactCardinality

exactCardinality

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 2064-2067
No TPTP formula. May not be expressible in strict first order.	Media.kif 2069-2069	O argumento numero 1 de exactCardinality e' uma instancia de Relacao
No TPTP formula. May not be expressible in strict first order.	Media.kif 2070-2070	O argumento numero 2 de exactCardinality e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Media.kif 2071-2071	O argumento numero 3 de exactCardinality e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Media.kif 2068-2068	exactCardinality e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3334-3334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3333-3333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3332-3332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65824-65824

antecedent

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.	Media.kif 2125-2134	exactCardinality Relacao, Numero Inteiro and Numero Inteiro Sequencia Simbolica @ARGS o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a Numero Inteiro

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