No TPTP formula. May not be expressible in strict first order.	Hotel.kif 225-225	allRoomsPolicy est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 210-210	allRoomsServiceAmenity est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24158-24158	allegiance est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6223-6223	allergic est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16850-16850	almaMater est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 910-910	amountCharged est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1452-1452	amountOfBid est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16349-16349	ancestor est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24164-24164	ancestorOrganization est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17833-17833	angleOfFigure est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17865-17865	angularMeasure est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24179-24179	anniversary est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2103-2103	annualElectricityConsumption est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2147-2147	annualElectricityExport est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2193-2193	annualElectricityImport est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1971-1971	annualElectricityProduction est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1507-1507	annualExpendituresOfArea est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2267-2267	annualExportTotal est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2573-2573	annualImportTotal est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1479-1479	annualRevenuesOfArea est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10659-10659	antagonistMuscles est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Music.kif 355-355	anthem est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31375-31375	applicableRelation est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1484-1484	appraisedValue est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26944-26944	approves est une instance de pr�dicat binaire
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