TreeView Knowledge Base Browser - memberTypeCount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

memberTypeCount

Sigma KEE - memberTypeCount

memberTypeCount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22617-22619
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22613-22613	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 22614-22614	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 22615-22615	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 22612-22612	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 22629-22633	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 22635-22643	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 22621-22627	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 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