(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO City))     (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24762-24767	PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24675-24680	PostalPlace 是 located 在 Neighborhood 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 Neighborhood 是 Neighborhood 的 instance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24746-24751	PostalPlace 是 located 在 州或省 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 州或省 是 州或省 的 instance 若且唯若 那个 PostalPlace 是在 那个 州或省
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24712-24719	PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域
(<=>     (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (annualExpendituresOfArea ?AREA ?AMOUNT)))))	Economy.kif 1517-1522	1 对于 %3 在周期 %2 的 annual 地区消费 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 货币测量 是 地缘政治区域 在 annual 地区消费 在 那个 时间位置 holdsDuring
(<=>     (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (annualRevenuesOfArea ?AREA ?AMOUNT)))))	Economy.kif 1488-1493	地缘政治区域 annual 对于 有点 时距 在周期 货币测量 的地区收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 annual 地区收入 在 那个 时间位置 holdsDuring
(<=>     (attribute ?H LiteracyAttribute)     (and         (hasSkill Reading ?H)         (hasSkill Writing ?H)))	Mid-level-ontology.kif 14999-15003	识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作
(<=>     (attribute ?I         (BeliefGroupMemberFn ?BG))     (member ?I ?BG))	People.kif 676-678	信仰团体 的 member 是 客体 的 attribute 若且唯若 那个 客体 是 那个 信仰团体 的 member
(<=>     (attribute ?INDIVIDUAL Agnostic)     (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	不可知 是 客体 的 attribute 若且唯若 那个 客体 是 不可知论 的 member
(<=>     (attribute ?INDIVIDUAL AhmadiyyaMuslim)     (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1347-1349	Ahmadiyya穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 ahmadiyya教派 的 member
(<=>     (attribute ?INDIVIDUAL Anglican)     (member ?INDIVIDUAL Anglicanism))	People.kif 1225-1227	英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member
(<=>     (attribute ?INDIVIDUAL Anglican)     (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1233-1235	英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英格兰教堂 的 member
(<=>     (attribute ?INDIVIDUAL Atheist)     (member ?INDIVIDUAL Atheism))	People.kif 720-722	无神论者 是 客体 的 attribute 若且唯若 那个 客体 是 无神论 的 member
(<=>     (attribute ?INDIVIDUAL Bahai)     (member ?INDIVIDUAL Bahaism))	People.kif 757-759	巴哈 是 客体 的 attribute 若且唯若 那个 客体 是 巴哈主义 的 member
(<=>     (attribute ?INDIVIDUAL Buddhist)     (member ?INDIVIDUAL Buddhism))	People.kif 769-771	佛教徒 是 客体 的 attribute 若且唯若 那个 客体 是 佛教 的 member
(<=>     (attribute ?INDIVIDUAL Confucianist)     (member ?INDIVIDUAL Confucianism))	People.kif 1306-1308	儒 是 客体 的 attribute 若且唯若 那个 客体 是 儒 的 member
(<=>     (attribute ?INDIVIDUAL DruzeMuslim)     (member ?INDIVIDUAL DruzeSect))	People.kif 1361-1363	德鲁兹穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 德鲁兹教派 的 member
(<=>     (attribute ?INDIVIDUAL EasternOrthodoxChristian)     (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1247-1249	东正教基督教 是 客体 的 attribute 若且唯若 那个 客体 是 东正教基督教 的 member
(<=>     (attribute ?INDIVIDUAL Hindu)     (member ?INDIVIDUAL Hinduism))	People.kif 1318-1320	印度教 是 客体 的 attribute 若且唯若 那个 客体 是 印度教 的 member
(<=>     (attribute ?INDIVIDUAL Jain)     (member ?INDIVIDUAL Jainism))	People.kif 1411-1413	耆那教 是 客体 的 attribute 若且唯若 那个 客体 是 耆那教 的 member
(<=>     (attribute ?INDIVIDUAL Muslim)     (member ?INDIVIDUAL Islam))	People.kif 1330-1332	穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member
(<=>     (attribute ?INDIVIDUAL Neopaganismist)     (member ?INDIVIDUAL Neopaganism))	People.kif 1457-1459	Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 neopaganism 的 member
(<=>     (attribute ?INDIVIDUAL Protestant)     (member ?INDIVIDUAL Protestantism))	People.kif 1261-1263	新教 是 客体 的 attribute 若且唯若 那个 客体 是 新教 的 member
(<=>     (attribute ?INDIVIDUAL ReligiousJew)     (member ?INDIVIDUAL Judaism))	People.kif 1428-1430	宗教的犹太人 是 客体 的 attribute 若且唯若 那个 客体 是 犹太教 的 member
(<=>     (attribute ?INDIVIDUAL RomanCatholic)     (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1283-1285	罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教会 的 member
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