<=>

-------------------------


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 24762-24767 PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 24675-24680 PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24746-24751 PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 24712-24719 PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))		 Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualRevenuesOfArea secteur g�opolitique and mesure de devise pendant position temporel
(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))		 Mid-level-ontology.kif 14999-15003 LiteracyAttribute est un attribut de AutonomousAgent AutonomousAgent a la capacit� de faire lire AutonomousAgent a la capacit� de faire �crire
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 676-678 BeliefGroupMemberFn BeliefGroup est un attribut de objet objet est un membre de BeliefGroup
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 702-704 Agnostic est un attribut de objet objet est un membre de Agnosticism
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1347-1349 AhmadiyyaMuslim est un attribut de objet objet est un membre de AhmadiyyaSect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1225-1227 Anglican est un attribut de objet objet est un membre de Anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1233-1235 Anglican est un attribut de objet objet est un membre de ChurchOfEngland
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 720-722 Atheist est un attribut de objet objet est un membre de Atheism
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 757-759 Bahai est un attribut de objet objet est un membre de Bahaism
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 769-771 Buddhist est un attribut de objet objet est un membre de Buddhism
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1306-1308 Confucianist est un attribut de objet objet est un membre de Confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1361-1363 DruzeMuslim est un attribut de objet objet est un membre de DruzeSect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1247-1249 EasternOrthodoxChristian est un attribut de objet objet est un membre de EasternOrthodoxChristianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1318-1320 Hindu est un attribut de objet objet est un membre de Hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1411-1413 Jain est un attribut de objet objet est un membre de Jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1330-1332 Muslim est un attribut de objet objet est un membre de Islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1457-1459 Neopaganismist est un attribut de objet objet est un membre de Neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1261-1263 Protestant est un attribut de objet objet est un membre de Protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1428-1430 ReligiousJew est un attribut de objet objet est un membre de Judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1283-1285 RomanCatholic est un attribut de objet objet est un membre de 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