TreeView Knowledge Base Browser - exactCardinality

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - exactCardinality

exactCardinality

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 2066-2069
No TPTP formula. May not be expressible in strict first order.	Media.kif 2071-2071	The number 1 argument of exact cardinality is an instance of relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 2072-2072	The number 2 argument of exact cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2073-2073	The number 3 argument of exact cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2070-2070	exact cardinality is an instance of ternary predicate

appearance as argument number 2

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 3331-3331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3330-3330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65827-65827

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2108-2115	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS) and a fourth entity is equal to the positive integerth element of (@ARGS), then the other entity is equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2095-2105	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the other entity is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2077-2092	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate, then there exist an entity and @ARGS such that the relation @ARGS and the entity is equal to the positive integerth element of (@ARGS) and there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the entity is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2139-2152	If there can be an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and the entity is equal to the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2127-2136	If there can be an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is equal to the integer

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