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 域 會員類型計數, 1 and Collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22664-22664 域 會員類型計數, 2 and Class
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22665-22665 域 會員類型計數, 3 and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22662-22662 例 會員類型計數 and TernaryPredicate

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22685-22693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22671-22677

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