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 2062-2065
No TPTP formula. May not be expressible in strict first order. Media.kif 2067-2067 The number 1 argument of exactCardinality is an instance of relation
No TPTP formula. May not be expressible in strict first order. Media.kif 2068-2068 The number 2 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2069-2069 The number 3 argument of exactCardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Media.kif 2066-2066 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 2104-2111
No TPTP formula. May not be expressible in strict first order. Media.kif 2091-2101
No TPTP formula. May not be expressible in strict first order. Media.kif 2073-2088
No TPTP formula. May not be expressible in strict first order. Media.kif 2130-2143
No TPTP formula. May not be expressible in strict first order. Media.kif 2119-2127


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