TreeView Knowledge Base Browser - maxCardinality

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - maxCardinality

maxCardinality

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 2181-2183
No TPTP formula. May not be expressible in strict first order.	Media.kif 2185-2185	The number 1 argument of maxCardinality is an instance of relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 2186-2186	The number 2 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2187-2187	The number 3 argument of maxCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2184-2184	maxCardinality is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3835-3835
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3834-3834
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3833-3833

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2201-2214	If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a class such that the class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the class and the number of instances in the class is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2190-2198	If there can be at most an integer values to argument another integer of a relation, then the number of instances in the class described by a symbolic string is less than or 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