No TPTP formula. May not be expressible in strict first order.	Weather.kif 980-980	averageTemperatureForPeriod e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3344-3344	beforeTaxIncome e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	People.kif 1524-1524	beliefGroupPercentInRegion e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1037-1037	benchmarkPerformance e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4151-4151	between e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1905-1905	bidPrice e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	WMD.kif 912-912	biochemicalAgentAntidote e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10701-10701	bodyAngle e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10375-10375	breathingRate e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 722-722	browserID e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4089-4089	buyingPowerAmount e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29938-29938	buys e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Government.kif 1837-1837	candidateForPosition e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24575-24575	canonicalPlaceName e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3901-3901	capability e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 780-780	capacityByArrangement e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1526-1526	capitalExpendituresOfAreaInPeriod e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Government.kif 4732-4732	chanceryAddressInArea e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Government.kif 4763-4763	chanceryFAXNumberInArea e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Government.kif 4742-4742	chanceryMailingAddressInArea e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Government.kif 4753-4753	chanceryTelephoneNumberInArea e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Government.kif 1551-1551	chiefOfState e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 817-817	chromosomeSetCount e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16807-16807	classmate e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3469-3469	closingPrice e' uma instancia de Predicado Ternario
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