TreeView Knowledge Base Browser - PrimeNumber

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 1912-1913
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7652-7652
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6793-6793
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1910-1910	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

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5054-5065

If an integer is an instance of prime number,
then for all another integer
- if the integer mod the other integer is equal to 0 and the other integer is not equal to 0,
- then the other integer is equal to 1 or the other integer is equal to the integer

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