Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
inhabits
Sigma KEE - inhabits
inhabits
appearance as argument number 1
(
documentation
inhabits
ChineseLanguage
"这是住在其他某样东西内最基本的概念。 (
inhabits
?ORGANISM ?OBJECT)的意思是 ?OBJECT 是 ?ORGANISM 的住所(临时或永久的)、巢ホール如此类推。")
chinese_format.kif 3373-3374
(
documentation
inhabits
EnglishLanguage
"A very basic notion of living within something else. (
inhabits
?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM.")
Merge.kif 14372-14374
(
domain
inhabits
1
Organism
)
Merge.kif 14370-14370
居住
的 1 数量 是
生物
的
instance
(
domain
inhabits
2
Object
)
Merge.kif 14371-14371
居住
的 2 数量 是
客体
的
instance
(
instance
inhabits
AsymmetricRelation
)
Merge.kif 14369-14369
居住
是
非对称关系
的
instance
(
instance
inhabits
BinaryPredicate
)
Merge.kif 14368-14368
居住
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
inhabits
"%1 %n{doesn't} 住在 %2")
chinese_format.kif 521-521
(
format
EnglishLanguage
inhabits
"%1 %n{doesn't} live%p{s} in %2")
english_format.kif 526-526
(
format
FrenchLanguage
inhabits
"%1 %n{ne} vie %n{pas} � %2")
french_format.kif 308-308
(
format
ItalianLanguage
inhabits
"%1 %n{non} abita%p{s} in %2")
relations-it.txt 143-143
(
format
JapaneseLanguage
inhabits
"%1 は %2 に live%p{s} %n{ない}")
japanese_format.kif 2076-2076
(
format
PortugueseLanguage
inhabits
"%1 %n{nao} vive %n em %2")
portuguese_format.kif 260-260
(
format
cz
inhabits
"%1 %n{doesn't} live%p{s} in %2")
relations-cz.txt 314-314
(
format
de
inhabits
"%1 wohnt %n{nicht} in %2")
relations-de.txt 677-677
(
format
hi
inhabits
"%1 %2 men %n{nahiin} rahataa hai")
relations-hindi.txt 182-182
(
format
ro
inhabits
"%1 %n{nu} live%t{locuieºte} în %2")
relations-ro.kif 329-329
(
format
sv
inhabits
"%1 lever %n{inte} i %2")
relations-sv.txt 336-336
(
format
tg
inhabits
"%1 %n ay nabubuhay sa %2")
relations-tg.txt 290-290
(
subrelation
home
inhabits
)
Merge.kif 14384-14384
家
是
居住
的
subrelation
(
subrelation
stays
inhabits
)
Merge.kif 14391-14391
停留
是
居住
的
subrelation
(
termFormat
ChineseLanguage
inhabits
"居住")
chinese_format.kif 522-522
(
termFormat
ChineseLanguage
inhabits
"栖息")
domainEnglishFormat.kif 30073-30073
(
termFormat
ChineseTraditionalLanguage
inhabits
"棲息")
domainEnglishFormat.kif 30072-30072
(
termFormat
EnglishLanguage
inhabits
"inhabits")
domainEnglishFormat.kif 30071-30071
(
termFormat
tg
inhabits
"nabubuhay")
relations-tg.txt 291-291
antecedent
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
如果
平民流离失所
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
地理区域
在
时距
holdsDuring
和
那个 地理区域
是
地理区域
的
instance
和
那个 时距
是
时距
的
instance
,
然后 有存在
另一个 时距
,
第三 实体
-PLACE, and 和
那个 第三 实体
-RES 这样
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 第三 实体
-RES 是
客体
的
instance
和
那个 第三 实体
-PLACE 是
地缘政治区域
的
instance
和
那个 第三 实体
-RES 是
located
在
那个 第三 实体
-PLACE 和
那个 地理区域
不
equal
那个 第三 实体
-PLACE 和
那个 另外 实体
不
equal
那个 第三 实体
-RES 和
那个 地理区域
不 是
那个 第三 实体
-PLACE 的
geographic
次要地区 和
那个 第三 实体
-PLACE 不 是
那个 地理区域
的
geographic
次要地区 和
那个 实体
住在
那个 第三 实体
-RES 在
那个 另外 时距
holdsDuring
(=>
(
and
(
instance
?BACTERIUM
Bacterium
)
(
inhabits
?BACTERIUM ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14472-14476
如果
生物
是
细菌
的
instance
和
那个 生物
住在
客体
,
然后
那个 客体
是
生物
的
instance
(=>
(
and
(
instance
?FUNGUS
Fungus
)
(
inhabits
?FUNGUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14431-14435
如果
生物
是
菌类
的
instance
和
那个 生物
住在
客体
,
然后
那个 客体
是
生物
的
instance
(=>
(
and
(
instance
?VIRUS
Virus
)
(
inhabits
?VIRUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14484-14488
如果
生物
是
病毒
的
instance
和
那个 生物
住在
客体
,
然后
那个 客体
是
生物
的
instance
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
如果
流离失所者
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
那个 实体
LACE 和
那个 实体
是
客体
的
citizen
在
时间位置
holdsDuring
,
然后
那个 实体
LACE 不 是
partlyLocated
在
那个 客体
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
如果
国内流离失所者
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
那个 实体
LACE 和
那个 实体
是
客体
的
citizen
在
时间位置
holdsDuring
,
然后
那个 实体
LACE 是
partlyLocated
在
那个 客体
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14376-14382
如果
实体
住在
另一个 实体
在
时间位置
holdsDuring
,
然后 有存在
另一个 时间位置
这样
那个 另外 时间位置
是
时距
的
instance
和
那个 另外 时间位置
时段 是
那个 时间位置
时段 的一
part
和
那个 实体
是
located
在
那个 另外 实体
在
那个 另外 时间位置
holdsDuring
consequent
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
MigrantsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
SubtractionFn
?Y ?PY) 1)
(
instance
?PREVIOUSYEAR
(
YearFn
?PY))
(
holdsDuring
?YEAR
(
equal
(
PopulationFn
?AREA) ?POPULATION))
(
equal
(
DivisionFn
?POPULATION 1000) ?THOUSANDS)
(
equal
?IMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
not
(
inhabits
?PERSON ?AREA)))
(
holdsDuring
?YEAR
(
inhabits
?PERSON ?AREA))))))
(
equal
?EMMIGRATION
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
holdsDuring
?PREVIOUSYEAR
(
inhabits
?PERSON ?AREA))
(
holdsDuring
?YEAR
(
not
(
inhabits
?PERSON ?AREA)))))))
(
equal
(
SubtractionFn
?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
(
equal
(
DivisionFn
?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 156-187
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每一千的
migrants
equal
实数
若且唯若 (
那个 整数
和
另一个 整数
)
equal
1 和
实体
是
那个 另外 整数
year
的
instance
和
那个 地缘政治区域
的
population
equal
另一个 实数
在
那个 年
holdsDuring
和
那个 另外 实数
和 1000
equal
第三 实数
和
第三 整数
equal
符号串
所描述的类别
instance
的数量 和
第四 整数
equal
那个 符号串
所描述的类别
instance
的数量 和 (
那个 第三 整数
和
那个 第四 整数
)
equal
第四 实数
和
那个 第四 实数
和
那个 第三 实数
equal
那个 实数
(<=>
(
equal
(
MaleToFemaleRatioFn
?AREA) ?REALNUMBER)
(
and
(
equal
?MALECOUNT
(
CardinalityFn
(
KappaFn
?MALE
(
and
(
instance
?MALE
Human
)
(
attribute
?MALE
Male
)
(
inhabits
?MALE ?AREA)))))
(
equal
?FEMALECOUNT
(
CardinalityFn
(
KappaFn
?FEMALE
(
and
(
instance
?FEMALE
Human
)
(
attribute
?FEMALE
Female
)
(
inhabits
?FEMALE ?AREA)))))
(
equal
(
DivisionFn
?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 206-223
地缘政治区域
的
male
对母性比率
equal
实数
若且唯若
整数
equal
符号串
所描述的类别
instance
的数量 和
另一个 整数
equal
另一个 符号串
所描述的类别
instance
的数量 和
那个 整数
和
那个 另外 整数
equal
那个 实数
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 30120-30127
如果
Inhabited
是
客体
的
attribute
和
那个 客体
是
地区
的
instance
,
然后 有存在
生物
这样
那个 生物
是
人类
的
instance
和
那个 生物
住在
那个 客体
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30104-30112
如果
Uninhabited
是
客体
的
attribute
和
那个 客体
是
地区
的
instance
,
然后 不存在
生物
这样
那个 生物
是
人类
的
instance
和
那个 生物
住在
那个 客体
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
如果
平民流离失所
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
地理区域
在
时距
holdsDuring
和
那个 地理区域
是
地理区域
的
instance
和
那个 时距
是
时距
的
instance
,
然后 有存在
另一个 时距
,
第三 实体
-PLACE, and 和
那个 第三 实体
-RES 这样
那个 另外 时距
是
时距
的
instance
和
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 第三 实体
-RES 是
客体
的
instance
和
那个 第三 实体
-PLACE 是
地缘政治区域
的
instance
和
那个 第三 实体
-RES 是
located
在
那个 第三 实体
-PLACE 和
那个 地理区域
不
equal
那个 第三 实体
-PLACE 和
那个 另外 实体
不
equal
那个 第三 实体
-RES 和
那个 地理区域
不 是
那个 第三 实体
-PLACE 的
geographic
次要地区 和
那个 第三 实体
-PLACE 不 是
那个 地理区域
的
geographic
次要地区 和
那个 实体
住在
那个 第三 实体
-RES 在
那个 另外 时距
holdsDuring
(=>
(
and
(
instance
?AGENT
Human
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
Residence
))))
(
holdsDuring
?TIME
(
inhabits
?AGENT ?PLACE)))
Mid-level-ontology.kif 25035-25044
如果
实体
是
人类
的
instance
和
另一个 实体
有
number
第三 实体
和
那个 第三 实体
是
那个 实体
的
telephone
number
和
那个 另外 实体
是
located
在
第四 实体
和
那个 第四 实体
是
住宅
的
instance
在
时间位置
holdsDuring
,
然后
那个 实体
住在
那个 第四 实体
在
那个 时间位置
holdsDuring
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
如果
过程
是
移民
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
地缘政治区域
和
另一个 地缘政治区域
这样
那个 地缘政治区域
是
国家
的
instance
和
那个 另外 地缘政治区域
是
国家
的
instance
和
那个 地缘政治区域
是
那个 过程
的源头 和
那个 过程
在
那个 另外 地缘政治区域
结束 和
那个 地缘政治区域
不
equal
那个 另外 地缘政治区域
和
那个 施事体
是
那个 地缘政治区域
的
citizenry
的
member
和
那个 施事体
不 是
那个 另外 地缘政治区域
的
citizenry
的
member
和
那个 过程
的 目的 是
那个 施事体
住在
那个 另外 地缘政治区域
(=>
(
and
(
instance
?S ?C)
(
subclass
?C
Seafood
))
(
exists
(?X ?SEA ?ANIMAL)
(
and
(
meatOfAnimal
?C ?ANIMAL)
(
instance
?X ?ANIMAL)
(
instance
?SEA
BodyOfWater
)
(
inhabits
?X ?SEA))))
Food.kif 1928-1937
如果
实体
是
有点 meat
的
instance
和
有点 meat
是
海鲜
的
subclass
,
然后 有存在
生物
,
那个 实体
EA, and 和
有点 动物
这样
那个 有点 meat
是
有点 动物
的
meat
和
那个 生物
是
那个 有点 动物
的
instance
和
那个 实体
EA 是
水体
的
instance
和
那个 生物
住在
那个 实体
EA
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30388-30395
如果
有点 生物
inhabits
地理区域
,
然后 有存在
有点 生物
I 这样
那个 有点 生物
I 是
那个 有点 生物
的
instance
和
那个 有点 生物
I 住在
那个 地理区域
的声明 has
容易
的语气
(=>
(
instance
?ALGA
Alga
)
(
exists
(?WATER)
(
and
(
inhabits
?ALGA ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14418-14423
如果
生物
是
藻类
的
instance
,
然后 有存在
客体
这样
那个 生物
住在
那个 客体
和
那个 客体
是
水
的
instance
(=>
(
instance
?B
Burrow
)
(
exists
(?A)
(
hasPurpose
?B
(
inhabits
?A ?B))))
Geography.kif 6042-6046
如果
物理
是
地洞
的
instance
,
然后 有存在
实体
这样
那个 物理
的 目的 是
那个 实体
住在
那个 物理
(=>
(
instance
?BUILDING
Building
)
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
or
(
inhabits
?HUMAN ?BUILDING)
(
exists
(?ACT)
(
and
(
agent
?ACT ?HUMAN)
(
located
?ACT ?BUILDING)))))))
Merge.kif 15743-15753
如果
客体
是
建筑物
的
instance
,
然后 有存在
生物
这样
那个 生物
是
人类
的
instance
和
那个 生物
住在
那个 客体
或 有存在
过程
这样
那个 生物
是
那个 过程
的
agent
和
那个 过程
是
located
在
那个 客体
(=>
(
instance
?FISH
Fish
)
(
exists
(?WATER)
(
and
(
inhabits
?FISH ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14573-14578
如果
生物
是
鱼
的
instance
,
然后 有存在
客体
这样
那个 生物
住在
那个 客体
和
那个 客体
是
水
的
instance
(=>
(
instance
?P
(
DemonymFn
?N))
(
or
(
exists
(?R)
(
and
(
located
?R ?N)
(
inhabits
?P ?R)))
(
birthplace
?P ?N)))
Mid-level-ontology.kif 30636-30643
如果
动物
是
DemonymFn
地理区域
的
instance
,
然后 有存在
客体
这样
那个 客体
是
located
在
那个 地理区域
和
那个 动物
住在
那个 客体
或
那个 地理区域
是
那个 动物
的
birthplace
(=>
(
instance
?RESIDENCE
AnimalResidence
)
(
hasPurpose
?RESIDENCE
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
not
(
instance
?ANIMAL
Human
))
(
inhabits
?ANIMAL ?RESIDENCE)))))
Mid-level-ontology.kif 6997-7004
如果
物理
是
动物住所
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
动物
的
instance
和
那个 实体
不 是
人类
的
instance
和
那个 实体
住在
那个 物理
(=>
(
parasite
?O1 ?O2)
(
inhabits
?O1 ?O2))
Mid-level-ontology.kif 6280-6282
如果
生物
是
另一个 生物
的
parasite
,
然后
那个 另外 生物
住在
那个 生物
statement
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
ChildrenBornPerWomanFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?INFANT
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
agent
?BIRTH ?WOMAN)
(
instance
?WOMAN
Human
)
(
attribute
?WOMAN
Female
)
(
holdsDuring
?YEAR
(
inhabits
?WOMAN ?AREA)))))))
People.kif 456-469
年
是
整数
year
的
instance
和
地缘政治区域
和
那个 年
每个女人生的
children
equal
符号串
所描述的类别
instance
的数量
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 872-881
地缘政治区域
的
available
军事服务男性
equal
符号串
所描述的类别
instance
的数量
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
地缘政治区域
的
fit
对于军服务男性
equal
符号串
所描述的类别
instance
的数量
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 31712-31717
地缘政治区域
的
population
equal
符号串
所描述的类别
instance
的数量
(
equal
(
ReachingMilitaryAgeAnnuallyMaleFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
equal
?AGEMINUSONE
(
SubtractionFn
?AGE 1))
(
holdsDuring
?YEAR
(
or
(
age
?PERSON ?AGEMINUSONE)
(
age
?PERSON ?AGE)))
(
equal
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 933-946
地缘政治区域
和
年
每年的
reaching
军事男性年龄
equal
符号串
所描述的类别
instance
的数量
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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