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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrimeNumber

Sigma KEE - PrimeNumber
PrimeNumber(prime number)
prime, prime_factor, prime_number, prime_quantity

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1751-1751
No TPTP formula. May not be expressible in strict first order. Merge.kif 1972-1973
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 359-360
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7651-7651
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6792-6792
No TPTP formula. May not be expressible in strict first order. Merge.kif 1970-1970 Prime number is a subclass of integer

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 869-869
No TPTP formula. May not be expressible in strict first order. english_format.kif 940-940
No TPTP formula. May not be expressible in strict first order. french_format.kif 545-545
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 75-75
No TPTP formula. May not be expressible in strict first order. terms-it.txt 78-78
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2230-2230
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 497-497
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 112-112
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 566-566
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 79-79

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5154-5165


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