memberTypeCount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - memberTypeCount

memberTypeCount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22615-22617
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22611-22611	The number 1 argument of member type count is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22612-22612	The number 2 argument of member type count is an instance of class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22613-22613	The number 3 argument of member type count is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22610-22610	member type count is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1699-1699
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1698-1698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1697-1697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37055-37055
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37054-37054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37053-37053

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22627-22631	If an integer is a member count of a collection and the collection is member type count a class for a nonnegative integer, then the integer is greater than or equal to the nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22633-22641	If a collection is member type count a class for a nonnegative integer and the nonnegative integer is equal to 0, then there doesn't exist a physical such that the physical is an instance of the class and the physical is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22619-22625	If a collection is member type count a class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the class is a member type of the other collection

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 4531-4538

If engine an engine has a nonnegative integer cylinders,
then there exist a collection and the engineC such that the collection is an instance of collection and the collection is member type count engine cylinder for the nonnegative integer and the engineC is a member of the collection and the engineC is a part of the engine

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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