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 22667-22669
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22663-22663	Le nombre 1 argument de memberTypeCount est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22664-22664	Le nombre 2 argument de memberTypeCount est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22665-22665	Le nombre 3 argument de memberTypeCount est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22662-22662	memberTypeCount est une instance de pr�dicat ternaire

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 37043-37043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37042-37042
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37041-37041

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22679-22683	memberCount collection and nombre entier memberTypeCount collection, classe and nombre entier non n�gatif nombre entier est plus grand ou �gal � nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22685-22693	memberTypeCount collection, classe and nombre entier non n�gatif nombre entier non n�gatif est physique physique est une instance de classe physique est un membre de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22671-22677	memberTypeCount collection, classe and nombre entier non n�gatif collection collection est une sous-collection appartenant � collection memberCount collection and nombre entier non n�gatif memberType collection and classe

consequent

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

Cars.kif 4531-4538

engineCylinders Engine and nombre entier non n�gatif
collection EngineC collection est une instance de collection memberTypeCount collection, EngineCylinder and nombre entier non n�gatif EngineC est un membre de collection EngineC est une partie de 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