No TPTP formula. May not be expressible in strict first order.	Weather.kif 984-984	average temperature for period is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3344-3344	before tax income is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	People.kif 1524-1524	belief group percent in region is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1037-1037	benchmark performance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4151-4151	between is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1905-1905	bid price is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	WMD.kif 912-912	biochemical agent antidote is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10702-10702	body angle is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10376-10376	breathingRate is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 722-722	browser identifier string is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4089-4089	buying power amount is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29950-29950	buys is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 1837-1837	candidate for position is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24576-24576	canonical place name is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3901-3901	capability is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 780-780	capacity by arrangement is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1526-1526	capital expenditures of area in period is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4732-4732	chancery address in area is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4763-4763	chanceryFAX number in area is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4742-4742	chancery mailing address in area is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4753-4753	chancery telephone number in area is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 1551-1551	chief of state is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 818-818	chromosome set count is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16808-16808	classmate is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3469-3469	closing price is an instance of ternary predicate
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