(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO City))     (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24763-24768	PostalPlace は 都市 に located して %n PostalPlace は PostalPlace の instance では %n 都市 は 都市 の instance では %n postCity PostalPlace and 都市
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24676-24681	PostalPlace は Neighborhood に located して %n PostalPlace は PostalPlace の instance では %n Neighborhood は Neighborhood の instance では %n postNeighborhood PostalPlace and Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24747-24752	PostalPlace は 州 に located して %n PostalPlace は PostalPlace の instance では %n 州 は 州 の instance では %n postDistrict PostalPlace and 州
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24713-24720	PostalPlace は 地政学的地域 に located して %n PostalPlace は PostalPlace の instance では %n 地政学的地域 は 国民 の instance では %n 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では %n postCountry PostalPlace and 地政学的地域
(<=>     (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (annualExpendituresOfArea ?AREA ?AMOUNT)))))	Economy.kif 1517-1522	annualExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualExpendituresOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>     (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (annualRevenuesOfArea ?AREA ?AMOUNT)))))	Economy.kif 1488-1493	annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 は 時間間隔 の instance では %n annualRevenuesOfArea 地政学的地域 and 通貨測定 は 時間位置 の during holds %n{ない}
(<=>     (attribute ?H LiteracyAttribute)     (and         (hasSkill Reading ?H)         (hasSkill Writing ?H)))	Mid-level-ontology.kif 15000-15004	LiteracyAttribute は AutonomousAgent の attribute では %n AutonomousAgent は 読み をする skill が %n{ない} AutonomousAgent は 執筆 をする skill が %n{ない}
(<=>     (attribute ?I         (BeliefGroupMemberFn ?BG))     (member ?I ?BG))	People.kif 676-678	BeliefGroupMemberFn BeliefGroup は オブジェクト の attribute では %n オブジェクト は BeliefGroup の member では %n
(<=>     (attribute ?INDIVIDUAL Agnostic)     (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	Agnostic は オブジェクト の attribute では %n オブジェクト は Agnosticism の member では %n
(<=>     (attribute ?INDIVIDUAL AhmadiyyaMuslim)     (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1347-1349	AhmadiyyaMuslim は オブジェクト の attribute では %n オブジェクト は AhmadiyyaSect の member では %n
(<=>     (attribute ?INDIVIDUAL Anglican)     (member ?INDIVIDUAL Anglicanism))	People.kif 1225-1227	Anglican は オブジェクト の attribute では %n オブジェクト は Anglicanism の member では %n
(<=>     (attribute ?INDIVIDUAL Anglican)     (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1233-1235	Anglican は オブジェクト の attribute では %n オブジェクト は ChurchOfEngland の member では %n
(<=>     (attribute ?INDIVIDUAL Atheist)     (member ?INDIVIDUAL Atheism))	People.kif 720-722	Atheist は オブジェクト の attribute では %n オブジェクト は Atheism の member では %n
(<=>     (attribute ?INDIVIDUAL Bahai)     (member ?INDIVIDUAL Bahaism))	People.kif 757-759	Bahai は オブジェクト の attribute では %n オブジェクト は Bahaism の member では %n
(<=>     (attribute ?INDIVIDUAL Buddhist)     (member ?INDIVIDUAL Buddhism))	People.kif 769-771	Buddhist は オブジェクト の attribute では %n オブジェクト は Buddhism の member では %n
(<=>     (attribute ?INDIVIDUAL Confucianist)     (member ?INDIVIDUAL Confucianism))	People.kif 1306-1308	Confucianist は オブジェクト の attribute では %n オブジェクト は Confucianism の member では %n
(<=>     (attribute ?INDIVIDUAL DruzeMuslim)     (member ?INDIVIDUAL DruzeSect))	People.kif 1361-1363	DruzeMuslim は オブジェクト の attribute では %n オブジェクト は DruzeSect の member では %n
(<=>     (attribute ?INDIVIDUAL EasternOrthodoxChristian)     (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1247-1249	EasternOrthodoxChristian は オブジェクト の attribute では %n オブジェクト は EasternOrthodoxChristianity の member では %n
(<=>     (attribute ?INDIVIDUAL Hindu)     (member ?INDIVIDUAL Hinduism))	People.kif 1318-1320	Hindu は オブジェクト の attribute では %n オブジェクト は Hinduism の member では %n
(<=>     (attribute ?INDIVIDUAL Jain)     (member ?INDIVIDUAL Jainism))	People.kif 1411-1413	Jain は オブジェクト の attribute では %n オブジェクト は Jainism の member では %n
(<=>     (attribute ?INDIVIDUAL Muslim)     (member ?INDIVIDUAL Islam))	People.kif 1330-1332	Muslim は オブジェクト の attribute では %n オブジェクト は Islam の member では %n
(<=>     (attribute ?INDIVIDUAL Neopaganismist)     (member ?INDIVIDUAL Neopaganism))	People.kif 1457-1459	Neopaganismist は オブジェクト の attribute では %n オブジェクト は Neopaganism の member では %n
(<=>     (attribute ?INDIVIDUAL Protestant)     (member ?INDIVIDUAL Protestantism))	People.kif 1261-1263	Protestant は オブジェクト の attribute では %n オブジェクト は Protestantism の member では %n
(<=>     (attribute ?INDIVIDUAL ReligiousJew)     (member ?INDIVIDUAL Judaism))	People.kif 1428-1430	ReligiousJew は オブジェクト の attribute では %n オブジェクト は Judaism の member では %n
(<=>     (attribute ?INDIVIDUAL RomanCatholic)     (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1283-1285	RomanCatholic は オブジェクト の attribute では %n オブジェクト は RomanCatholicChurch の member では %n
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