No TPTP formula. May not be expressible in strict first order.	Hotel.kif 932-932	adjacentOrientation est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 382-382	administrativeCenter est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4012-4012	administrator est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 183-183	advertisedOn est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24139-24139	affiliatedOrganization est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7518-7518	age est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Media.kif 3419-3419	agentName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 2234-2234	agentOperatesInArea est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 695-695	agreementAdoptionDate est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14023-14023	agreementEffectiveDate est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 755-755	agreementEffectiveDuring est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14048-14048	agreementExpirationDate est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14009-14009	agreementPeriod est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2230-2230	agriculturalProductType est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 2584-2584	aimOfOrganization est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3091-3091	airQualityIndex est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25672-25672	airTemperature est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Music.kif 272-272	albumArtist est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Music.kif 303-303	albumCoverImage est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Music.kif 324-324	albumLength est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Music.kif 253-253	albumRelease est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Music.kif 333-333	albumTrack est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Music.kif 289-289	albumType est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23204-23204	alias est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 163-163	allRoomsPhysicalAmenity 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