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 and
Organism
(
domain
inhabits
2
Object
)
Merge.kif 14371-14371
域
棲息
, 2 and
Object
(
instance
inhabits
AsymmetricRelation
)
Merge.kif 14369-14369
例
棲息
and
AsymmetricRelation
(
instance
inhabits
BinaryPredicate
)
Merge.kif 14368-14368
例
棲息
and
BinaryPredicate
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
子關係
家
and
棲息
(
subrelation
stays
inhabits
)
Merge.kif 14391-14391
子關係
停留
and
棲息
(
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
持有期間
TimeInterval
and
attribute
entity
and
平民流離失所
棲息
entity
and
entity
位於
entity
and
GeographicArea
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
entity
-RES and
Object
例
entity
-PLACE and
GeopoliticalArea
位於
entity
-RES and
entity
-PLACE
等於
GeographicArea
and
entity
-PLACE
等於
entity
and
entity
-RES
GeographicArea
是
entity
-PLACE 的
geographic
次要地區
entity
-PLACE 是
GeographicArea
的
geographic
次要地區
持有期間
TimeInterval
and
棲息
entity
and
entity
-RES
(=>
(
and
(
instance
?BACTERIUM
Bacterium
)
(
inhabits
?BACTERIUM ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14472-14476
例
Organism
and
Bacterium
棲息
Organism
and
Object
例
Object
and
Organism
(=>
(
and
(
instance
?FUNGUS
Fungus
)
(
inhabits
?FUNGUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14431-14435
例
Organism
and
Fungus
棲息
Organism
and
Object
例
Object
and
Organism
(=>
(
and
(
instance
?VIRUS
Virus
)
(
inhabits
?VIRUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14484-14488
例
Organism
and
Virus
棲息
Organism
and
Object
例
Object
and
Organism
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
持有期間
TimePosition
and
attribute
entity
and
流離失所者
棲息
entity
and
entity
位於
entity
and
entity
LACE
公民
entity
and
Object
部分位於
entity
LACE and
Object
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
持有期間
TimePosition
and
attribute
entity
and
國內流離失所者
棲息
entity
and
entity
位於
entity
and
entity
LACE
公民
entity
and
Object
部分位於
entity
LACE and
Object
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14376-14382
持有期間
TimePosition
and
棲息
entity
and
entity
TimePosition
例
TimePosition
and
TimeInterval
時間部分
TimePosition
and
TimePosition
持有期間
TimePosition
and
位於
entity
and
entity
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
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每一千的
migrants
and
RealNumber
等於
減法
Integer
and
Integer
and 1
例
Entity
and
年
Integer
持有期間
年
and
等於
GeopoliticalArea
的
population
and
RealNumber
等於
部
RealNumber
and 1000 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
持有期間
Entity
and
棲息
SymbolicString
and
GeopoliticalArea
持有期間
年
and
棲息
SymbolicString
and
GeopoliticalArea
等於
減法
Integer
and
Integer
and
RealNumber
等於
部
RealNumber
and
RealNumber
and
RealNumber
(<=>
(
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
等於
GeopoliticalArea
的
male
對母性比率 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
女
棲息
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
Integer
and
RealNumber
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 30120-30127
attribute
Object
and
Inhabited
例
Object
and
Region
Organism
例
Organism
and
Human
棲息
Organism
and
Object
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30104-30112
attribute
Object
and
Uninhabited
例
Object
and
Region
Organism
例
Organism
and
Human
棲息
Organism
and
Object
(=>
(
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
持有期間
TimeInterval
and
attribute
entity
and
平民流離失所
棲息
entity
and
entity
位於
entity
and
GeographicArea
例
GeographicArea
and
GeographicArea
例
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
例
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
entity
-RES and
Object
例
entity
-PLACE and
GeopoliticalArea
位於
entity
-RES and
entity
-PLACE
等於
GeographicArea
and
entity
-PLACE
等於
entity
and
entity
-RES
GeographicArea
是
entity
-PLACE 的
geographic
次要地區
entity
-PLACE 是
GeographicArea
的
geographic
次要地區
持有期間
TimeInterval
and
棲息
entity
and
entity
-RES
(=>
(
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
例
Entity
and
Human
持有期間
TimePosition
and
entity
有
number
entity
entity
是
Entity
的
telephone
number
位於
entity
and
entity
例
entity
and
住宅
持有期間
TimePosition
and
棲息
Entity
and
entity
(=>
(
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
例
Process
and
移民
agent
Process
and
AutonomousAgent
GeopoliticalArea
GeopoliticalArea
例
GeopoliticalArea
and
Nation
例
GeopoliticalArea
and
Nation
起源
Process
and
GeopoliticalArea
目的地
Process
and
GeopoliticalArea
等於
GeopoliticalArea
and
GeopoliticalArea
會員
AutonomousAgent
and
GeopoliticalArea
的
citizenry
會員
AutonomousAgent
and
GeopoliticalArea
的
citizenry
有目的
Process
and
棲息
AutonomousAgent
and
GeopoliticalArea
(=>
(
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
例
Entity
and
Meat
子類
Meat
and
海鮮
Organism
Entity
EA and
Animal
Meat
是
Animal
的
meat
例
Organism
and
Animal
例
Entity
EA and
水體
棲息
Organism
and
Entity
EA
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30388-30395
Organism
inhabits
GeographicArea
模態屬性
Organism
I
例
Organism
I and
Organism
棲息
Organism
I and
GeographicArea
and
容易
(=>
(
instance
?ALGA
Alga
)
(
exists
(?WATER)
(
and
(
inhabits
?ALGA ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14418-14423
例
Organism
and
Alga
Object
棲息
Organism
and
Object
例
Object
and
Water
(=>
(
instance
?B
Burrow
)
(
exists
(?A)
(
hasPurpose
?B
(
inhabits
?A ?B))))
Geography.kif 6042-6046
例
Physical
and
地洞
entity
有目的
Physical
and
棲息
entity
and
Physical
(=>
(
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
例
Object
and
Building
Organism
例
Organism
and
Human
棲息
Organism
and
Object
Process
agent
Process
and
Organism
位於
Process
and
Object
(=>
(
instance
?FISH
Fish
)
(
exists
(?WATER)
(
and
(
inhabits
?FISH ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14573-14578
例
Organism
and
Fish
Object
棲息
Organism
and
Object
例
Object
and
Water
(=>
(
instance
?P
(
DemonymFn
?N))
(
or
(
exists
(?R)
(
and
(
located
?R ?N)
(
inhabits
?P ?R)))
(
birthplace
?P ?N)))
Mid-level-ontology.kif 30636-30643
例
Animal
and
DemonymFn
GeographicArea
Object
位於
Object
and
GeographicArea
棲息
Animal
and
Object
GeographicArea
是
Animal
的
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
例
Physical
and
動物住所
有目的
Physical
and
entity
例
entity
and
Animal
例
entity
and
Human
棲息
entity
and
Physical
(=>
(
parasite
?O1 ?O2)
(
inhabits
?O1 ?O2))
Mid-level-ontology.kif 6280-6282
Organism
是
Organism
的
parasite
棲息
Organism
and
Organism
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
例
年
and
年
Integer
等於
GeopoliticalArea
和
年
每個女人生的
children
and
基數
卡帕
SymbolicString
and
例
entity
and
Birth
體驗者
entity
and
SymbolicString
agent
entity
and
entity
例
entity
and
Human
attribute
entity
and
女
持有期間
年
and
棲息
entity
and
GeopoliticalArea
(
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
等於
GeopoliticalArea
的
available
軍事服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
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
等於
GeopoliticalArea
的
fit
對於軍服務男性 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
子類
entity
and
MilitaryProcess
entity
是
SymbolicString
的
fit
軍事服務
entity
是
GeopoliticalArea
的
military
年紀
年齡
SymbolicString
and
entity
大於或等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 31712-31717
等於
GeopoliticalArea
的
population
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
棲息
SymbolicString
and
GeopoliticalArea
(
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
等於
GeopoliticalArea
和
年
每年的
reaching
軍事男性年齡 and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
entity
是
GeopoliticalArea
的
military
年紀
等於
entity
and
減法
entity
and 1
持有期間
年
and
年齡
SymbolicString
and
entity
年齡
SymbolicString
and
entity
等於
entity
and
entity
棲息
SymbolicString
and
GeopoliticalArea
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