Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
GUIButton
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 14525-14527
(
domain
inhabits
1
Organism
)
Merge.kif 14523-14523
Le nombre 1 argument de
inhabits
est une
instance
de
organisme
(
domain
inhabits
2
Object
)
Merge.kif 14524-14524
Le nombre 2 argument de
inhabits
est une
instance
de
objet
(
instance
inhabits
AsymmetricRelation
)
Merge.kif 14522-14522
inhabits
est une
instance
de
relation asym�trique
(
instance
inhabits
BinaryPredicate
)
Merge.kif 14521-14521
inhabits
est une
instance
de
pr�dicat binaire
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 14537-14537
home
est une
sous
-relation de
inhabits
(
subrelation
stays
inhabits
)
Merge.kif 14544-14544
stays
est une
sous
-relation de
inhabits
(
termFormat
ChineseLanguage
inhabits
"居住")
chinese_format.kif 522-522
stays
est une
sous
-relation de
inhabits
(
termFormat
ChineseLanguage
inhabits
"栖息")
domainEnglishFormat.kif 30084-30084
stays
est une
sous
-relation de
inhabits
(
termFormat
ChineseTraditionalLanguage
inhabits
"棲息")
domainEnglishFormat.kif 30083-30083
stays
est une
sous
-relation de
inhabits
(
termFormat
EnglishLanguage
inhabits
"inhabits")
domainEnglishFormat.kif 30082-30082
stays
est une
sous
-relation de
inhabits
(
termFormat
de
inhabits
"wohnt")
terms-de.txt 205-205
stays
est une
sous
-relation de
inhabits
(
termFormat
tg
inhabits
"nabubuhay")
relations-tg.txt 291-291
stays
est une
sous
-relation de
inhabits
antecedent
(<=>
(
inhabits
?I ?L)
(
instance
?I
Inhabitant
))
Mid-level-ontology.kif 32331-32333
Organisme
vie
�
objet
organisme
est une
instance
de
Inhabitant
(=>
(
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
DislocatedCivilian
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
secteur g�ographique
pendant
interval temporel
secteur g�ographique
est une
instance
de
secteur g�ographique
interval temporel
est une
instance
de
interval temporel
interval temporel
entit�
_PLACE and
entit�
_RES
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
_RES est une
instance
de
objet
entit�
_PLACE est une
instance
de
secteur g�opolitique
entit�
_RES est
situ
� �
entit�
_PLACE
equal
secteur g�ographique
and
entit�
_PLACE
equal
entit�
and
entit�
_RES
geographicSubregion
secteur g�ographique
and
entit�
_PLACE
geographicSubregion
entit�
_PLACE and
secteur g�ographique
entit�
vie
�
entit�
_RES
pendant
interval temporel
(=>
(
and
(
instance
?BACTERIUM
Bacterium
)
(
inhabits
?BACTERIUM ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14625-14629
Organisme
est une
instance
de
bact�rie
organisme
vie
�
objet
objet
est une
instance
de
organisme
(=>
(
and
(
instance
?FUNGUS
Fungus
)
(
inhabits
?FUNGUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14584-14588
Organisme
est une
instance
de
champignon
organisme
vie
�
objet
objet
est une
instance
de
organisme
(=>
(
and
(
instance
?VIRUS
Virus
)
(
inhabits
?VIRUS ?OBJ))
(
instance
?OBJ
Organism
))
Merge.kif 14637-14641
Organisme
est une
instance
de
virus
organisme
vie
�
objet
objet
est une
instance
de
organisme
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
DisplacedPerson
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
entit�
LACE
entit�
est un
citoyen
de
objet
pendant
position temporel
entit�
LACE est
partiellement
localis� �
objet
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
InternallyDisplacedPerson
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
entit�
LACE
entit�
est un
citoyen
de
objet
pendant
position temporel
entit�
LACE est
partiellement
localis� �
objet
(=>
(
holdsDuring
?T1
(
inhabits
?ORGANISM ?OBJ))
(
exists
(?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME ?T1)
(
holdsDuring
?TIME
(
located
?ORGANISM ?OBJ)))))
Merge.kif 14529-14535
Entit�
vie
�
entit�
pendant
position temporel
position temporel
position temporel
est une
instance
de
interval temporel
position temporel
est une
partie
de
position temporel
entit�
est
situ
� �
entit�
pendant
position temporel
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
Ann�e
est une
instance
de l'
ann
�e
nombre entier
equal
MigrantsPerThousandFn
secteur g�opolitique
and
ann�e
and
nombre r�el
equal
(
nombre entier
+
nombre entier
) and 1
entit�
est une
instance
de l'
ann
�e
nombre entier
equal
PopulationFn
secteur g�opolitique
and
nombre r�el
pendant
ann�e
equal
nombre r�el
+ 1000 and
nombre r�el
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
equal
(
nombre entier
+
nombre entier
) and
nombre r�el
equal
nombre r�el
+
nombre r�el
and
nombre r�el
(<=>
(
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
equal
MaleToFemaleRatioFn
secteur g�opolitique
and
nombre r�el
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
equal
nombre entier
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
equal
nombre entier
+
nombre entier
and
nombre r�el
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 32012-32019
Inhabited
est un
attribut
de
objet
objet
est une
instance
de
r�gion
organisme
organisme
est une
instance
de
humain
organisme
vie
�
objet
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 31996-32004
Uninhabited
est un
attribut
de
objet
objet
est une
instance
de
r�gion
organisme
organisme
est une
instance
de
humain
organisme
vie
�
objet
(=>
(
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
DislocatedCivilian
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
secteur g�ographique
pendant
interval temporel
secteur g�ographique
est une
instance
de
secteur g�ographique
interval temporel
est une
instance
de
interval temporel
interval temporel
entit�
_PLACE and
entit�
_RES
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
_RES est une
instance
de
objet
entit�
_PLACE est une
instance
de
secteur g�opolitique
entit�
_RES est
situ
� �
entit�
_PLACE
equal
secteur g�ographique
and
entit�
_PLACE
equal
entit�
and
entit�
_RES
geographicSubregion
secteur g�ographique
and
entit�
_PLACE
geographicSubregion
entit�
_PLACE and
secteur g�ographique
entit�
vie
�
entit�
_RES
pendant
interval temporel
(=>
(
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 26697-26706
Entit�
est une
instance
de
humain
deviceTelecomNumber
entit�
and
entit�
telephoneNumber
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Residence
pendant
position temporel
entit�
vie
�
entit�
pendant
position temporel
(=>
(
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 18903-18919
Processus
est une
instance
de
Immigrating
processus
est un
agent
de
AutonomousAgent
secteur g�opolitique
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
nation
processus
a pour
origine
secteur g�opolitique
processus
aboutit
�
secteur g�opolitique
equal
secteur g�opolitique
and
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
processus
a pour
but
AutonomousAgent
vie
�
secteur g�opolitique
(=>
(
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 1934-1943
Entit�
est une
instance
de
viande
viande
est une
sous
-classe de
Seafood
organisme
entit�
EA and
animal
meatOfAnimal
viande
and
animal
organisme
est une
instance
de
animal
entit�
EA est une
instance
de
BodyOfWater
organisme
vie
�
entit�
EA
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 32306-32313
habitatOfOrganism
organisme
and
secteur g�ographique
l'argument
organisme
I
organisme
I est une
instance
de
organisme
organisme
I
vie
�
secteur g�ographique
a la
force
modale
de
Likely
(=>
(
instance
?ALGA
Alga
)
(
exists
(?WATER)
(
and
(
inhabits
?ALGA ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14571-14576
Organisme
est une
instance
de
algue
objet
organisme
vie
�
objet
objet
est une
instance
de
eau
(=>
(
instance
?B
Burrow
)
(
exists
(?A)
(
hasPurpose
?B
(
inhabits
?A ?B))))
Geography.kif 6312-6316
Physique
est une
instance
de
Burrow
entit�
physique
a pour
but
entit�
vie
�
physique
(=>
(
instance
?B
MilitaryBase
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
MilitaryPerson
)
(
inhabits
?H ?B))))
MilitaryProcesses.kif 2758-2764
Objet
est une
instance
de
MilitaryBase
organisme
organisme
est une
instance
de
humain
MilitaryPerson
est un
attribut
de
organisme
organisme
vie
�
objet
(=>
(
instance
?BUILDING
Building
)
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
or
(
inhabits
?HUMAN ?BUILDING)
(
exists
(?ACT)
(
and
(
agent
?ACT ?HUMAN)
(
located
?ACT ?BUILDING)))))))
Merge.kif 15893-15903
Objet
est une
instance
de
immeuble
organisme
organisme
est une
instance
de
humain
organisme
vie
�
objet
processus
processus
est un
agent
de
organisme
processus
est
situ
� �
objet
(=>
(
instance
?FISH
Fish
)
(
exists
(?WATER)
(
and
(
inhabits
?FISH ?WATER)
(
instance
?WATER
Water
))))
Merge.kif 14726-14731
Organisme
est une
instance
de
poisson
objet
organisme
vie
�
objet
objet
est une
instance
de
eau
(=>
(
instance
?I
Inhabitant
)
(
exists
(?L)
(
and
(
instance
?L
Object
)
(
inhabits
?I ?L))))
Mid-level-ontology.kif 32324-32329
Organisme
est une
instance
de
Inhabitant
objet
objet
est une
instance
de
objet
organisme
vie
�
objet
(=>
(
instance
?P
(
DemonymFn
?N))
(
or
(
exists
(?R)
(
and
(
located
?R ?N)
(
inhabits
?P ?R)))
(
birthplace
?P ?N)))
Mid-level-ontology.kif 32570-32577
Animal
est une
instance
de
DemonymFn
secteur g�ographique
objet
objet
est
situ
� �
secteur g�ographique
animal
vie
�
objet
birthplace
animal
and
secteur g�ographique
(=>
(
instance
?R
MobileResidence
)
(
hasPurpose
?R
(
exists
(?H ?T)
(
and
(
instance
?H
Human
)
(
instance
?T
Translocation
)
(
inhabits
?H ?R)
(
patient
?T ?R)))))
Mid-level-ontology.kif 7774-7782
Physique
est une
instance
de
MobileResidence
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
Translocation
entit�
vie
�
physique
physique
est un
patient
de
entit�
(=>
(
instance
?RESIDENCE
AnimalResidence
)
(
hasPurpose
?RESIDENCE
(
exists
(?ANIMAL)
(
and
(
instance
?ANIMAL
Animal
)
(
not
(
instance
?ANIMAL
Human
))
(
inhabits
?ANIMAL ?RESIDENCE)))))
Mid-level-ontology.kif 8158-8165
Physique
est une
instance
de
AnimalResidence
physique
a pour
but
entit�
entit�
est une
instance
de
animal
entit�
est une
instance
de
humain
entit�
vie
�
physique
(=>
(
parasite
?O1 ?O2)
(
inhabits
?O1 ?O2))
Mid-level-ontology.kif 7217-7219
parasite
organisme
and
organisme
organisme
vie
�
organisme
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
Ann�e
est une
instance
de l'
ann
�e
nombre entier
equal
ChildrenBornPerWomanFn
secteur g�opolitique
and
ann�e
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
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 940-949
equal
AvailableForMilitaryServiceMaleFn
secteur g�opolitique
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
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 963-974
equal
FitForMilitaryServiceMaleFn
secteur g�opolitique
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
equal
(
PopulationFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
inhabits
?PERSON ?AREA)))))
Mid-level-ontology.kif 33658-33663
equal
PopulationFn
secteur g�opolitique
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
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 1001-1014
equal
ReachingMilitaryAgeAnnuallyMaleFn
secteur g�opolitique
and
ann�e
and le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
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