No TPTP formula. May not be expressible in strict first order.	Merge.kif 15506-15506	Edition is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4816-4816	Exponentiation is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 393-393	Female life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3721-3721	Fiscal year starting is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3156-3156	GPW is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3123-3123	GPS is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6912-6912	Geographic part type fn is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6052-6052	Graph path is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8611-8611	Hour is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5453-5453	Intersection is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6581-6581	Interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5580-5580	Kappa is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 296-296	Life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4549-4549	Lift is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2616-2616	Line is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3070-3070	List concatenate is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2975-2975	List order is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4974-4974	Log is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	People.kif 345-345	Male life expectancy at birth is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4982-4982	Max is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6030-6030	Maximal weighted path is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Food.kif 1891-1891	Meal attribute function is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2221-2221	Ten minute mean surface wind speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2326-2326	One minute mean surface wind speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2291-2291	Two minute mean surface wind speed is an instance of binary function
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