No TPTP formula. May not be expressible in strict first order.	Merge.kif 7371-7375	If the measure of a physical is a real number angular degree(s), then the real number is greater than or equal to 0.0 and the real number is less than or equal to 360.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 358-360	If the measure of a physical is a real number angular degree(s), then the real number is greater than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 370-372	If the measure of a physical is a real number arc minute(s), then the real number is greater than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 389-391	If the measure of a physical is a real number arc second(s), then the real number is greater than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2557-2559	If the measure of a physical is a real number PH value(s), then the real number is greater than or equal to 0.0
No TPTP formula. May not be expressible in strict first order.	Media.kif 2161-2170	If there are at least an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 733-738	If a positive integer is a minimum replications of a computer program, then the number of instances in the class described by a symbolic string is greater than or equal to the positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3303-3307	If a real number is a potential of hydrogen of a solution, then the real number is greater than or equal to 0.0 and the real number is less than or equal to 14.0
No TPTP formula. May not be expressible in strict first order.	Government.kif 1191-1209	If compulsory suffrage law is a sub-proposition of the regional law of a geopolitical area, then the regional law of the geopolitical area obligates the geopolitical area to perform task of the type for all an entity, another entity,, , a third entity and a fourth entity if the entity is a citizen of the geopolitical area and the other entity year duration(s) is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity year duration(s) and the third entity is greater than or equal to the other entity and the fourth entity is an instance of the election of the geopolitical area, then there exists a fifth entity such that the fifth entity is an instance of the voting of the fourth entity and the entity is an agent of the fifth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1106-1118	If universal suffrage law is a sub-proposition of the regional law of a nation, then for all a human, an election,, , a real number and another real number if the human is a citizen of the nation and the real number year duration(s) is a suffrage age minimum of the nation and the age of the human is the other real number year duration(s) and the other real number is greater than or equal to the real number and the election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 713-715	If the user feedback score from an user account is a real number, then 100 is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 717-719	If the user feedback score from an user account is a real number, then the real number is greater than or equal to 0

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