No TPTP formula. May not be expressible in strict first order.	Hotel.kif 225-225	allRoomsPolicy e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 210-210	allRoomsServiceAmenity e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24157-24157	allegiance e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6222-6222	allergic e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16849-16849	almaMater e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 910-910	amountCharged e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1452-1452	amountOfBid e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16371-16371	ancestor e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24163-24163	ancestorOrganization e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17855-17855	angleOfFigure e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17887-17887	angularMeasure e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24178-24178	anniversary e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2103-2103	annualElectricityConsumption e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2147-2147	annualElectricityExport e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2193-2193	annualElectricityImport e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1971-1971	annualElectricityProduction e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1507-1507	annualExpendituresOfArea e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2267-2267	annualExportTotal e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2573-2573	annualImportTotal e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1479-1479	annualRevenuesOfArea e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10658-10658	antagonistMuscles e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Music.kif 355-355	anthem e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31371-31371	applicableRelation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1484-1484	appraisedValue e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26932-26932	approves e' uma instancia de Predicado Binario
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