TreeView Knowledge Base Browser - maxCardinality

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

LesserTubercleOfHumerus

Sigma KEE - maxCardinality

maxCardinality

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 2191-2193
No TPTP formula. May not be expressible in strict first order.	Media.kif 2195-2195	The number 1 argument of max cardinality is an instance of relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 2196-2196	The number 2 argument of max cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2197-2197	The number 3 argument of max cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2194-2194	max 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 3828-3828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3827-3827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3826-3826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65879-65879

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2212-2225	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the 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 2200-2209	If there can be at most 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 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