No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2949-2949	The range of gross merchandise bought is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2992-2992	The range of gross merchandise volume is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5499-5499	The range of generalized intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5488-5488	The range of generalized union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Geography.kif 336-336	The range of geographic center is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6497-6497	The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16735-16735	The range of government is an instance of government
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4847-4847	The range of greatest common divisor is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9950-9950	The range of hole host is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10091-10091	The range of hole skin is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4909-4909	The range of imaginary part is an instance of imaginary number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16308-16308	The range of immediate family is an instance of family group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8551-8551	The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8520-8520	The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18241-18241	The range of impaired body part fn is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2001-2001	The range of InfectionFn is an instance of infectious disease
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12409-12409	The range of inflammation is an instance of inflammation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5923-5923	The range of initial node is an instance of graph node
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1313-1313	The range of initial profile is an instance of process state
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 399-399	The range of InjuryCausedFn is an instance of injury
No TPTP formula. May not be expressible in strict first order.	Geography.kif 797-797	The range of inner boundary is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4924-4924	The range of integer square root is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5457-5457	The range of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Government.kif 2139-2139	The range of judiciary is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2140-2140	The range of judiciary is an instance of judicial organization
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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