No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2049-2049	Email local part fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8008-8008	End is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5951-5951	End node is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8932-8932	Evening fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1148-1148	Exclusive fishing zone is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 1320-1320	Executive branch is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1180-1180	Extended fishing zone is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1759-1759	Extension is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4509-4509	Failure fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Food.kif 3664-3664	Farm of product fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3225-3225	First is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3696-3696	Fiscal year is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Military.kif 886-886	Fit for military service male is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4826-4826	Floor is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4892-4892	Flow is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4924-4924	Flow region is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14857-14857	Food for fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 877-877	Front is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8509-8509	Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2945-2945	Gross merchandise bought is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2988-2988	Gross merchandise volume is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5496-5496	Generalized intersection is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5485-5485	Generalized union is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 333-333	Geographic center is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16710-16710	Government is an instance of unary 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