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 14394-14396
(
domain
inhabits
1
Organism
)
Merge.kif 14392-14392
Die Zahl 1 Argument von
inhabits
ist ein
fall
von
Organism
%n{nicht}
(
domain
inhabits
2
Object
)
Merge.kif 14393-14393
Die Zahl 2 Argument von
inhabits
ist ein
fall
von
Object
%n{nicht}
(
instance
inhabits
AsymmetricRelation
)
Merge.kif 14391-14391
inhabits
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
inhabits
BinaryPredicate
)
Merge.kif 14390-14390
inhabits
ist ein
fall
von
BinaryPredicate
%n{nicht}
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 14406-14406
home
ist eine
teilrelation
von
inhabits
(
subrelation
stays
inhabits
)
Merge.kif 14413-14413
stays
ist eine
teilrelation
von
inhabits
(
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
Wenn
DislocatedCivilian
ist ein
attribut
von
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
,
** entity
-PLACE, and und
** ** entity
-RES um
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** ** entity
-RES ist ein
fall
von
Object
%n{nicht} und
** ** entity
-PLACE ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** ** entity
-RES
befindet
sich an %n{nicht} und
** GeographicArea
ist gleich
** ** entity
-PLACE nicht und
** ** entity
ist gleich
** ** entity
-RES nicht und
geographicSubregion
** GeographicArea
and
** ** entity
-PLACE und
geographicSubregion
** ** entity
-PLACE and
** GeographicArea
und
** entity
wohnt in
** ** entity
-RES haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?BACTERIUM
Bacterium
)
(
inhabits
?BACTERIUM ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14494-14498
Wenn
Organism
ist ein
fall
von
Bacterium
%n{nicht} und
** Organism
wohnt in
Object
,
dann
** Object
ist ein
fall
von
Organism
%n{nicht}
(=>
(
and
(
instance
?FUNGUS
Fungus
)
(
inhabits
?FUNGUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14453-14457
Wenn
Organism
ist ein
fall
von
Fungus
%n{nicht} und
** Organism
wohnt in
Object
,
dann
** Object
ist ein
fall
von
Organism
%n{nicht}
(=>
(
and
(
instance
?VIRUS
Virus
)
(
inhabits
?VIRUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14506-14510
Wenn
Organism
ist ein
fall
von
Virus
%n{nicht} und
** Organism
wohnt in
Object
,
dann
** Object
ist ein
fall
von
Organism
%n{nicht}
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
Wenn
DisplacedPerson
ist ein
attribut
von
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} und
** entity
ist der
buerger
von
Object
haelt
waehrend
TimePosition
%n{nicht},
dann
** entity
LACE
befindet
sich
teils
an nicht
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
Wenn
InternallyDisplacedPerson
ist ein
attribut
von
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} und
** entity
ist der
buerger
von
Object
haelt
waehrend
TimePosition
%n{nicht},
dann
** entity
LACE
befindet
sich
teils
an %n{nicht}
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14398-14404
Wenn
entity
wohnt in
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** TimePosition
um
** ** TimePosition
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimePosition
ist ein
teil
von
** TimePosition
%n{nicht} und
** entity
befindet
sich an %n{nicht} haelt
waehrend
** ** TimePosition
%n{nicht}
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
ist ein
fall
von das
jahr
Integer
%n{nicht} und
MigrantsPerThousandFn
GeopoliticalArea
and
** Year
ist gleich
RealNumber
%n{nicht} genau dann wenn (
** Integer
und
** Integer
) ist gleich 1 %n{nicht} und
Entity
ist ein
fall
von das
jahr
** ** Integer
%n{nicht} und
PopulationFn
** GeopoliticalArea
ist gleich
** RealNumber
%n{nicht} haelt
waehrend
** Year
%n{nicht} und
** ** RealNumber
und 1000 ist gleich
** RealNumber
%n{nicht} und
** Integer
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht} und
** Integer
ist gleich die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt %n{nicht} und (
** ** Integer
und
** ** Integer
) ist gleich
** RealNumber
%n{nicht} und
** ** RealNumber
und
** ** RealNumber
ist gleich
** RealNumber
%n{nicht}
(<=>
(
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
MaleToFemaleRatioFn
GeopoliticalArea
ist gleich
RealNumber
%n{nicht} genau dann wenn
Integer
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht} und
** Integer
ist gleich die Zahl
Faellen
in die
kategorie
die
** SymbolicString
beschreibt %n{nicht} und
** Integer
und
** ** Integer
ist gleich
** RealNumber
%n{nicht}
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 30108-30115
Wenn
Inhabited
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Region
%n{nicht},
dann es gibt
Organism
um
** Organism
ist ein
fall
von
Human
%n{nicht} und
** Organism
wohnt in
** Object
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30092-30100
Wenn
Uninhabited
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Region
%n{nicht},
dann es gibt nicht
Organism
um
** Organism
ist ein
fall
von
Human
%n{nicht} und
** Organism
wohnt in
** 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
Wenn
DislocatedCivilian
ist ein
attribut
von
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
,
** entity
-PLACE, and und
** ** entity
-RES um
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
** ** entity
-RES ist ein
fall
von
Object
%n{nicht} und
** ** entity
-PLACE ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** ** entity
-RES
befindet
sich an %n{nicht} und
** GeographicArea
ist gleich
** ** entity
-PLACE nicht und
** ** entity
ist gleich
** ** entity
-RES nicht und
geographicSubregion
** GeographicArea
and
** ** entity
-PLACE und
geographicSubregion
** ** entity
-PLACE and
** GeographicArea
und
** entity
wohnt in
** ** entity
-RES haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
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 25034-25043
Wenn
Entity
ist ein
fall
von
Human
%n{nicht} und
deviceTelecomNumber
** entity
and
** entity
und
telephoneNumber
** ** entity
and
** Entity
und
** ** entity
befindet
sich an %n{nicht} und
** entity
ist ein
fall
von
Residence
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** Entity
wohnt in
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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 17351-17367
Wenn
Process
ist ein
fall
von
Immigrating
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
GeopoliticalArea
und
** GeopoliticalArea
um
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** ** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** Process
beginnet an
** GeopoliticalArea
%n{nicht} und
** Process
endet an
** ** GeopoliticalArea
%n{nicht} und
** GeopoliticalArea
ist gleich
** ** GeopoliticalArea
nicht und
** AutonomousAgent
ist ein
Mitglied
von
CitizenryFn
** GeopoliticalArea
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
CitizenryFn
** ** GeopoliticalArea
nicht und
** Process
hat Zweck von
** AutonomousAgent
wohnt in
** ** GeopoliticalArea
%n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
** Meat
%n{nicht} und
** Meat
ist eine
teilkategorie
von
Seafood
,
dann es gibt
Organism
,
** Entity
EA, and und
** Animal
um
meatOfAnimal
** ** Meat
and
** Animal
und
** Organism
ist ein
fall
von
** ** Animal
%n{nicht} und
** Entity
EA ist ein
fall
von
BodyOfWater
%n{nicht} und
** Organism
wohnt in
** Entity
EA
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30376-30383
Wenn
habitatOfOrganism
** Organism
and
GeographicArea
,
dann die Aussage es gibt
** Organism
I um
** ** Organism
I ist ein
fall
von
** ** Organism
%n{nicht} und
** ** Organism
I wohnt in
** GeographicArea
hat die modale Kraft von
Likely
(=>
(
instance
?ALGA
Alga
)
(
exists
(?WATER)
(
and
(
inhabits
?ALGA ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14440-14445
Wenn
Organism
ist ein
fall
von
Alga
%n{nicht},
dann es gibt
Object
um
** Organism
wohnt in
** Object
und
** Object
ist ein
fall
von
Water
%n{nicht}
(=>
(
instance
?B
Burrow
)
(
exists
(?A)
(
hasPurpose
?B
(
inhabits
?A ?B))))
Geography.kif 6042-6046
Wenn
Physical
ist ein
fall
von
Burrow
%n{nicht},
dann es gibt
entity
um
** Physical
hat Zweck von
** entity
wohnt in
** Physical
%n{nicht}
(=>
(
instance
?BUILDING
Building
)
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
or
(
inhabits
?HUMAN ?BUILDING)
(
exists
(?ACT)
(
and
(
agent
?ACT ?HUMAN)
(
located
?ACT ?BUILDING)))))))
Merge.kif 15765-15775
Wenn
Object
ist ein
fall
von
Building
%n{nicht},
dann es gibt
Organism
um
** Organism
ist ein
fall
von
Human
%n{nicht} und
** Organism
wohnt in
** Object
oder es gibt
Process
um
** Process
ist der
agent
von
** Organism
%n{nicht} und
** Process
befindet
sich an %n{nicht}
(=>
(
instance
?FISH
Fish
)
(
exists
(?WATER)
(
and
(
inhabits
?FISH ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14595-14600
Wenn
Organism
ist ein
fall
von
Fish
%n{nicht},
dann es gibt
Object
um
** Organism
wohnt in
** Object
und
** Object
ist ein
fall
von
Water
%n{nicht}
(=>
(
instance
?P
(
DemonymFn
?N))
(
or
(
exists
(?R)
(
and
(
located
?R ?N)
(
inhabits
?P ?R)))
(
birthplace
?P ?N)))
Mid-level-ontology.kif 30624-30631
Wenn
Animal
ist ein
fall
von
DemonymFn
GeographicArea
%n{nicht},
dann es gibt
Object
um
** Object
befindet
sich an %n{nicht} und
** Animal
wohnt in
** Object
oder
birthplace
** Animal
and
** GeographicArea
(=>
(
instance
?RESIDENCE
AnimalResidence
)
(
hasPurpose
?RESIDENCE
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
not
(
instance
?ANIMAL
Human
))
(
inhabits
?ANIMAL ?RESIDENCE)))))
Mid-level-ontology.kif 6996-7003
Wenn
Physical
ist ein
fall
von
AnimalResidence
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Animal
%n{nicht} und
** entity
ist ein
fall
von
Human
nicht und
** entity
wohnt in
** Physical
%n{nicht}
(=>
(
parasite
?O1 ?O2)
(
inhabits
?O1 ?O2))
Mid-level-ontology.kif 6279-6281
Wenn
parasite
Organism
and
** Organism
,
dann
** Organism
wohnt in
** ** 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
Year
ist ein
fall
von das
jahr
Integer
%n{nicht} und
ChildrenBornPerWomanFn
GeopoliticalArea
and
** Year
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
(
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
AvailableForMilitaryServiceMaleFn
GeopoliticalArea
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
(
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
FitForMilitaryServiceMaleFn
GeopoliticalArea
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 31708-31713
PopulationFn
GeopoliticalArea
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
(
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
ReachingMilitaryAgeAnnuallyMaleFn
GeopoliticalArea
and
Year
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
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