(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO City))     (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24820-24825	PostalPlace è localizzato in Citt� PostalPlace è un' istanza di PostalPlace Citt� è un' istanza di Citt� postCity PostalPlace and Citt�
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24733-24738	PostalPlace è localizzato in Neighborhood PostalPlace è un' istanza di PostalPlace Neighborhood è un' istanza di Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24804-24809	PostalPlace è localizzato in StatoOProvincia PostalPlace è un' istanza di PostalPlace StatoOProvincia è un' istanza di StatoOProvincia postDistrict PostalPlace and StatoOProvincia
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24770-24777	PostalPlace è localizzato in AreaGeopolitica PostalPlace è un' istanza di PostalPlace AreaGeopolitica è un' istanza di Nazione AreaGeopolitica è un' istanza di DependencyOrSpecialSovereigntyArea postCountry PostalPlace and AreaGeopolitica
(<=>     (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (annualExpendituresOfArea ?AREA ?AMOUNT)))))	Economy.kif 1517-1522	annualExpendituresOfAreaInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale annualExpendituresOfArea AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale
(<=>     (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (annualRevenuesOfArea ?AREA ?AMOUNT)))))	Economy.kif 1488-1493	annualRevenuesOfAreaInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale annualRevenuesOfArea AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale
(<=>     (attribute ?H LiteracyAttribute)     (and         (hasSkill Reading ?H)         (hasSkill Writing ?H)))	Mid-level-ontology.kif 15027-15031	attribute AutonomousAgent and LiteracyAttribute AutonomousAgent ha &n la capacità di fare Leggere AutonomousAgent ha &n la capacità di fare Scrivere
(<=>     (attribute ?I         (BeliefGroupMemberFn ?BG))     (member ?I ?BG))	People.kif 676-678	attribute Oggetto and BeliefGroupMemberFn BeliefGroup Oggetto è un membro di BeliefGroup
(<=>     (attribute ?INDIVIDUAL Agnostic)     (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	attribute Oggetto and Agnostic Oggetto è un membro di Agnosticism
(<=>     (attribute ?INDIVIDUAL AhmadiyyaMuslim)     (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1347-1349	attribute Oggetto and AhmadiyyaMuslim Oggetto è un membro di AhmadiyyaSect
(<=>     (attribute ?INDIVIDUAL Anglican)     (member ?INDIVIDUAL Anglicanism))	People.kif 1225-1227	attribute Oggetto and Anglican Oggetto è un membro di Anglicanism
(<=>     (attribute ?INDIVIDUAL Anglican)     (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1233-1235	attribute Oggetto and Anglican Oggetto è un membro di ChurchOfEngland
(<=>     (attribute ?INDIVIDUAL Atheist)     (member ?INDIVIDUAL Atheism))	People.kif 720-722	attribute Oggetto and Atheist Oggetto è un membro di Atheism
(<=>     (attribute ?INDIVIDUAL Bahai)     (member ?INDIVIDUAL Bahaism))	People.kif 757-759	attribute Oggetto and Bahai Oggetto è un membro di Bahaism
(<=>     (attribute ?INDIVIDUAL Buddhist)     (member ?INDIVIDUAL Buddhism))	People.kif 769-771	attribute Oggetto and Buddhist Oggetto è un membro di Buddhism
(<=>     (attribute ?INDIVIDUAL Confucianist)     (member ?INDIVIDUAL Confucianism))	People.kif 1306-1308	attribute Oggetto and Confucianist Oggetto è un membro di Confucianism
(<=>     (attribute ?INDIVIDUAL DruzeMuslim)     (member ?INDIVIDUAL DruzeSect))	People.kif 1361-1363	attribute Oggetto and DruzeMuslim Oggetto è un membro di DruzeSect
(<=>     (attribute ?INDIVIDUAL EasternOrthodoxChristian)     (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1247-1249	attribute Oggetto and EasternOrthodoxChristian Oggetto è un membro di EasternOrthodoxChristianity
(<=>     (attribute ?INDIVIDUAL Hindu)     (member ?INDIVIDUAL Hinduism))	People.kif 1318-1320	attribute Oggetto and Hindu Oggetto è un membro di Hinduism
(<=>     (attribute ?INDIVIDUAL Jain)     (member ?INDIVIDUAL Jainism))	People.kif 1411-1413	attribute Oggetto and Jain Oggetto è un membro di Jainism
(<=>     (attribute ?INDIVIDUAL Muslim)     (member ?INDIVIDUAL Islam))	People.kif 1330-1332	attribute Oggetto and Muslim Oggetto è un membro di Islam
(<=>     (attribute ?INDIVIDUAL Neopaganismist)     (member ?INDIVIDUAL Neopaganism))	People.kif 1457-1459	attribute Oggetto and Neopaganismist Oggetto è un membro di Neopaganism
(<=>     (attribute ?INDIVIDUAL Protestant)     (member ?INDIVIDUAL Protestantism))	People.kif 1261-1263	attribute Oggetto and Protestant Oggetto è un membro di Protestantism
(<=>     (attribute ?INDIVIDUAL ReligiousJew)     (member ?INDIVIDUAL Judaism))	People.kif 1428-1430	attribute Oggetto and ReligiousJew Oggetto è un membro di Judaism
(<=>     (attribute ?INDIVIDUAL RomanCatholic)     (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1283-1285	attribute Oggetto and RomanCatholic Oggetto è un membro di RomanCatholicChurch
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