No TPTP formula. May not be expressible in strict first order.	Merge.kif 9924-9924	Hole host is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10065-10065	Hole skin is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4906-4906	Imaginary part is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16283-16283	Immediate family is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8526-8526	Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8495-8495	Immediate past is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18217-18217	Impaired body part fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13466-13466	Impairment is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12408-12408	Inflammation is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5920-5920	Initial node is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1311-1311	Initial profile is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 396-396	InjuryCausedFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 795-795	Inner boundary is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4921-4921	Integer square root is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 2137-2137	Judiciary is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Food.kif 2598-2598	Juice of fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3205-3205	Last is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 2035-2035	Legislature is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3012-3012	List length is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3239-3239	Sum of elements is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Music.kif 912-912	Lyrical component function is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18370-18370	Making fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	People.kif 191-191	Male to female ratio is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 780-780	Maritime claims territorial sea is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1042-1042	Maritime contiguous zone 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