Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  exactCardinality

Sigma KEE - exactCardinality
exactCardinality

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2066-2069
No TPTP formula. May not be expressible in strict first order. Media.kif 2071-2071 The number 1 argument of exactCardinality is an instance of relation
No TPTP formula. May not be expressible in strict first order. Media.kif 2072-2072 The number 2 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2073-2073 The number 3 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2070-2070 exactCardinality is an instance of ternary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3339-3339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3338-3338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3337-3337

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2108-2115
No TPTP formula. May not be expressible in strict first order. Media.kif 2095-2105
No TPTP formula. May not be expressible in strict first order. Media.kif 2077-2092
No TPTP formula. May not be expressible in strict first order. Media.kif 2134-2147
No TPTP formula. May not be expressible in strict first order. Media.kif 2123-2131


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