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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - seatsInOrganizationCount
seatsInOrganizationCount

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2070-2072
No TPTP formula. May not be expressible in strict first order. Government.kif 2067-2067 The number 1 argument of seats in organization count is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2068-2068 The number 2 argument of seats in organization count is an instance of integer
No TPTP formula. May not be expressible in strict first order. Government.kif 2066-2066 seats in organization count is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2211-2211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2210-2210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2209-2209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51753-51753
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51752-51752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51751-51751

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2074-2078


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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