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
SeaIslandCreoleEnglishLanguage
Sigma KEE - located
located
appearance as argument number 1
(
documentation
located
ChineseLanguage
"(
located
?OBJ1 ?OBJ2) 的意思是 ?OBJ1
partlyLocated
在 ?OBJ2,而且没有一处 ?OBJ1的
part
不是
located
在?OBJ2。")
chinese_format.kif 2111-2112
(
documentation
located
EnglishLanguage
"(
located
?OBJ1 ?OBJ2) means that ?OBJ1 is
partlyLocated
at ?OBJ2, and there is no
part
of ?OBJ1 that is not
located
at ?OBJ2.")
Merge.kif 4079-4081
(
documentation
located
JapaneseLanguage
"(
located
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で
partlyLocated
であり、?OBJ2 で
located
ではない ?OBJ1 の
part
がないことを意味する。")
japanese_format.kif 763-764
(
domain
located
1
Physical
)
Merge.kif 4076-4076
Il numero 1 argomenti di
located
è un
istanza
di
Entit�Concreta
(
domain
located
2
Object
)
Merge.kif 4077-4077
Il numero 2 argomenti di
located
è un
istanza
di
Oggetto
(
instance
located
AntisymmetricRelation
)
Merge.kif 4071-4071
located
è un'
istanza
di
RelazioneAntisimmetrica
(
instance
located
TotalValuedRelation
)
Merge.kif 4073-4073
located
è un'
istanza
di
RelazioneAValoreTotale
(
instance
located
TransitiveRelation
)
Merge.kif 4072-4072
located
è un'
istanza
di
RelazioneTransitiva
(
subrelation
located
partlyLocated
)
Merge.kif 4074-4074
located
è una
sottorelazione
di
partlyLocated
appearance as argument number 2
(
format
ChineseLanguage
located
"%1 %n 是
located
在 %2")
chinese_format.kif 145-145
(
format
EnglishLanguage
located
"%1 is %n
located
at %2")
english_format.kif 146-146
(
format
FrenchLanguage
located
"%1 est %n situ� � %2")
french_format.kif 94-94
(
format
ItalianLanguage
located
"%1 è %n localizzato in %2")
relations-it.txt 170-170
(
format
JapaneseLanguage
located
"%1 は %2 に
located
して %n")
japanese_format.kif 1921-1921
(
format
PortugueseLanguage
located
"%1 e' %n situado em %2")
portuguese_format.kif 46-46
(
format
cz
located
"%1 %p{je} %n{nen�}
located
at %2")
relations-cz.txt 128-128
(
format
de
located
"%1 befindet sich an %n{nicht}")
relations-de.txt 176-176
(
format
hi
located
"%1 %2 para/men sthita %n hai")
relations-hindi.txt 208-208
(
format
ro
located
"%1 %n{nu} este
located
%t{localizat} la %2")
relations-ro.kif 113-113
(
format
sv
located
"%1 ligger %n{inte} vid %2")
relations-sv.txt 93-93
(
format
tg
located
"%1 %n ay sa %2")
relations-tg.txt 339-339
(
relatedInternalConcept
time
located
)
Merge.kif 3869-3869
time
è
interamente
correlato a
located
(
subrelation
exactlyLocated
located
)
Merge.kif 4135-4135
exactlyLocated
è una
sottorelazione
di
located
(
subrelation
geographicSubregion
located
)
Merge.kif 14092-14092
geographicSubregion
è una
sottorelazione
di
located
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 7603-7603
headquartersOfOrganization
è una
sottorelazione
di
located
(
subrelation
onboard
located
)
Mid-level-ontology.kif 17431-17431
onboard
è una
sottorelazione
di
located
(
subrelation
partiallyFills
located
)
Merge.kif 10010-10010
partiallyFills
è una
sottorelazione
di
located
(
subrelation
postCity
located
)
Mid-level-ontology.kif 24815-24815
postCity
è una
sottorelazione
di
located
(
subrelation
postCountry
located
)
Mid-level-ontology.kif 24758-24758
postCountry
è una
sottorelazione
di
located
(
subrelation
postDistrict
located
)
Mid-level-ontology.kif 24799-24799
postDistrict
è una
sottorelazione
di
located
(
subrelation
postNeighborhood
located
)
Mid-level-ontology.kif 24727-24727
postNeighborhood
è una
sottorelazione
di
located
(
subrelation
postPostcodeArea
located
)
Mid-level-ontology.kif 24841-24841
postPostcodeArea
è una
sottorelazione
di
located
(
termFormat
ChineseLanguage
located
"位于")
chinese_format.kif 146-146
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
and
(
located
?PLACE ?AREA)
(
instance
?PLACE
PostalPlace
)
(
instance
?AREA
PostcodeArea
))
(
postPostcodeArea
?PLACE ?AREA))
Mid-level-ontology.kif 24847-24852
PostalPlace
è
localizzato
in
PostcodeArea
PostalPlace
è un'
istanza
di
PostalPlace
PostcodeArea
è un'
istanza
di
PostcodeArea
postPostcodeArea
PostalPlace
and
PostcodeArea
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
City
))
(
postCity
?PLACE ?GEO))
Mid-level-ontology.kif 24820-24825
PostalPlace
è
localizzato
in
Citt�
PostalPlace
è un'
istanza
di
PostalPlace
Citt�
è un'
istanza
di
Citt�
postCity
PostalPlace
and
Citt�
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 24733-24738
PostalPlace
è
localizzato
in
Neighborhood
PostalPlace
è un'
istanza
di
PostalPlace
Neighborhood
è un'
istanza
di
Neighborhood
postNeighborhood
PostalPlace
and
Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24804-24809
PostalPlace
è
localizzato
in
StatoOProvincia
PostalPlace
è un'
istanza
di
PostalPlace
StatoOProvincia
è un'
istanza
di
StatoOProvincia
postDistrict
PostalPlace
and
StatoOProvincia
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 24770-24777
PostalPlace
è
localizzato
in
AreaGeopolitica
PostalPlace
è un'
istanza
di
PostalPlace
AreaGeopolitica
è un'
istanza
di
Nazione
AreaGeopolitica
è un'
istanza
di
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
AreaGeopolitica
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20628-20650
attribute
AgenteCognitivo
and
Waiter
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Restaurant
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Table
Oggetto
Entit�
,
Entit�
and
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
KitchenArea
Oggetto
è un'
istanza
di
DiningArea
Oggetto
è
localizzato
in
Oggetto
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
Carrying
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
Oggetto
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 157-176
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
customer
AgenteCognitivo
and
Organizzazione
Organizzazione
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Arriving
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ValetParking
Entit�
è un
agente
di
Umano
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
ParkingRegion
ha il modello di forza di
Possibility
(=>
(
and
(
chromosomeNumber
?C ?I)
(
part
?N ?C)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 702-710
chromosomeNumber
EukaryoticCell
and
NumeroIntero
Oggetto
è una
parte
di
EukaryoticCell
Oggetto
è un'
istanza
di
CellNucleus
EukaryoticCell
OLL è un'
istanza
di
InsiemeConcreto
EukaryoticCell
OLL è
localizzato
in
Oggetto
memberType
EukaryoticCell
OLL and
Chromosome
memberCount
EukaryoticCell
OLL and
NumeroIntero
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
Oggetto
and
MisuraDiLunghezza
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è una
parte
superficiale di
PlanetEarth
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
price
Oggetto
, 0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
haploidNumber
?CELL ?I)
(
instance
?CELL
Gamete
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
instance
?COLL
Collection
)
(
located
?COLL ?N)
(
memberType
?COLL
Chromosome
))
(
memberCount
?COLL ?I))
VirusProteinAndCellPart.kif 793-802
haploidNumber
Gamete
and
NumeroIntero
Gamete
è un'
istanza
di
Gamete
Oggetto
è una
parte
di
Gamete
Oggetto
è un'
istanza
di
CellNucleus
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
memberType
InsiemeConcreto
and
Chromosome
memberCount
InsiemeConcreto
and
NumeroIntero
(=>
(
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
Entit�
and
DislocatedCivilian
Entit�
abita
s in
Entit�
Entit�
è
localizzato
in
AreaGeografica
vales
durante
IntervalloTemporale
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
Entit�
-PLACE and
Entit�
-RES
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
-RES è un'
istanza
di
Oggetto
Entit�
-PLACE è un'
istanza
di
AreaGeopolitica
Entit�
-RES è
localizzato
in
Entit�
-PLACE
AreaGeografica
is
uguale
a
Entit�
-PLACE
Entit�
is
uguale
a
Entit�
-RES
geographicSubregion
AreaGeografica
and
Entit�
-PLACE
geographicSubregion
Entit�
-PLACE and
AreaGeografica
Entit�
abita
s in
Entit�
-RES vales
durante
IntervalloTemporale
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
Processo
è un'
istanza
di
LocalAnesthetizing
Processo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
Oggetto
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
PainFn
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
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 25092-25101
Entit�
è un'
istanza
di
Umano
deviceTelecomNumber
Entit�
and
Entit�
telephoneNumber
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Residence
vales
durante
PosizioneTemporale
Entit�
abita
s in
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1879-1884
Oggetto
è un'
istanza
di
AreaGeografica
Entit�Concreta
è un'
istanza
di
GeologicalFault
Entit�Concreta
è
localizzato
in
Oggetto
attribute
Oggetto
and
GeologicallyStable
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
Processo
è un'
istanza
di
AntiSurfaceOperation
Entit�
è un
paziente
di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
SuperficieAcquatica
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
Processo
è un'
istanza
di
CateringService
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Processo
UST
AutonomousAgent
è
localizzato
in
Oggetto
customer
Processo
UST and
AutonomousAgent
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Cucinare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
Processo
UST
eventLocated
Processo
and
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
instance
?CAA
CivilAffairsAgreement
)
(
partyToAgreement
?AGENT_MIL_THIS ?CAA)
(
instance
?AGENT_MIL_THIS
MilitaryOrganization
)
(
militaryOfArea
?AGENT_MIL_THIS ?NATION_THIS)
(
instance
?NATION_THIS
Nation
)
(
located
?AGENT_MIL_THIS ?NATION_FRIENDLY)
(
instance
?NATION_FRIENDLY
Nation
))
(
and
(
not
(
equal
?NATION_THIS ?NATION_FRIENDLY))
(
not
(
enemy
?NATION_THIS ?NATION_FRIENDLY))
(
exists
(?AGENT_FRIENDLY)
(
and
(
located
?AGENT_FRIENDLY ?NATION_FRIENDLY)
(
partyToAgreement
?AGENT_FRIENDLY ?CAA)
(
not
(
instance
?AGENT_FRIENDLY
MilitaryOrganization
))))))
MilitaryProcesses.kif 2309-2328
Agreement
è un'
istanza
di
CivilAffairsAgreement
partyToAgreement
Entit�
_MIL_THIS and
Agreement
Entit�
_MIL_THIS è un'
istanza
di
MilitaryOrganization
militaryOfArea
Entit�
_MIL_THIS and
Entit�
_THIS
Entit�
_THIS è un'
istanza
di
Nazione
Entit�
_MIL_THIS è
localizzato
in
Entit�
_FRIENDLY
Entit�
_FRIENDLY è un'
istanza
di
Nazione
Entit�
_THIS is
uguale
a
Entit�
_FRIENDLY
enemy
Entit�
_THIS and
Entit�
_FRIENDLY
Entit�
_FRIENDLY
Entit�
_FRIENDLY è
localizzato
in
Entit�
_FRIENDLY
partyToAgreement
Entit�
_FRIENDLY and
Agreement
Entit�
_FRIENDLY è un'
istanza
di
MilitaryOrganization
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
Processo
è un'
istanza
di
CivilAffairsOperation
Processo
è
localizzato
in
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Proposizione
è un'
istanza
di
RegionalLawFn
AreaGeopolitica
Processo
esprime
il contenuto di
Proposizione
consistent
Proposizione
and
Proposizione
(=>
(
and
(
instance
?CELL
HexaploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B ?C)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
instance
?C
HomologousChromosomeSet
)
(
subCollection
?C ?COLL)
(
not
(
equal
?A ?B))
(
not
(
equal
?A ?C))
(
not
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1003-1024
Oggetto
è un'
istanza
di
HexaploidCell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
InsiemeConcreto
and
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?CELL
MonoploidCell
)
(
chromosomeNumber
?CELL ?X)
(
instance
?COLL
MonoploidChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
monoploidNumber
?COLL ?Y))
(
equal
?X ?Y))
VirusProteinAndCellPart.kif 772-781
EukaryoticCell
è un'
istanza
di
MonoploidCell
chromosomeNumber
EukaryoticCell
and
NumeroIntero
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
monoploidNumber
MonoploidChromosomeSet
and
NumeroIntero
NumeroIntero
is
uguale
a
NumeroIntero
(=>
(
and
(
instance
?CELL
PentaploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 5))
VirusProteinAndCellPart.kif 973-983
Oggetto
è un'
istanza
di
PentaploidCell
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 5
(=>
(
and
(
instance
?CELL
TetraploidCell
)
(
part
?N ?CELL)
(
instance
?N
CellNucleus
)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
))
(
exists
(?A ?B)
(
and
(
instance
?A
HomologousChromosomeSet
)
(
subCollection
?A ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
subCollection
?B ?COLL)
(
not
(
equal
?A ?B)))))
VirusProteinAndCellPart.kif 950-965
Oggetto
è un'
istanza
di
TetraploidCell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 920-930
Oggetto
è un'
istanza
di
TriploidCell
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 3
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
beliefGroupPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1528-1539
beliefGroupPercentInRegion
BeliefGroup
,
NumeroReale
and
AreaGeografica
InsiemeConcreto
InsiemeConcreto
,
Entit�Concreta
,
Entit�Concreta
2,
NumeroReale
1 and
NumeroReale
2
Entit�Concreta
è
localizzato
in
AreaGeografica
Entit�Concreta
è un
membro
di
BeliefGroup
Entit�Concreta
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroReale
1
Entit�Concreta
2 è
localizzato
in
AreaGeografica
Entit�Concreta
2 è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroReale
2
NumeroReale
+ 100 is
uguale
a
NumeroReale
1 +
NumeroReale
2
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1547-1558
ethnicityPercentInRegion
GruppoEtnico
,
NumeroReale
and
AreaGeografica
InsiemeConcreto
InsiemeConcreto
,
Entit�Concreta
,
Entit�Concreta
2,
NumeroReale
1 and
NumeroReale
2
Entit�Concreta
è
localizzato
in
AreaGeografica
Entit�Concreta
è un
membro
di
GruppoEtnico
Entit�Concreta
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroReale
1
Entit�Concreta
2 è
localizzato
in
AreaGeografica
Entit�Concreta
2 è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroReale
2
NumeroReale
+ 100 is
uguale
a
NumeroReale
1 +
NumeroReale
2
(<=>
(
languagePercentInRegion
?L ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?G1)
(
speaksLanguage
?P ?L)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1566-1577
languagePercentInRegion
Linguaggio
,
NumeroReale
and
AreaGeografica
InsiemeConcreto
InsiemeConcreto
,
AgenteSensibile
,
AgenteSensibile
2,
NumeroReale
1 and
NumeroReale
2
AgenteSensibile
è
localizzato
in
AreaGeografica
AgenteSensibile
è un
membro
di
InsiemeConcreto
speaksLanguage
AgenteSensibile
and
Linguaggio
memberCount
InsiemeConcreto
and
NumeroReale
1
AgenteSensibile
2 è
localizzato
in
AreaGeografica
AgenteSensibile
2 è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroReale
2
NumeroReale
+ 100 is
uguale
a
NumeroReale
1 +
NumeroReale
2
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
lengthOfDualGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
lengthOfElectrifiedRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
lengthOfExpresswaySystem
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
lengthOfMultipleTrackRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
lengthOfPavedHighway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
lengthOfStandardGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23360-23362
locatedAtTime
Oggetto
,
PosizioneTemporale
and
Oggetto
Oggetto
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
(<=>
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithPavedRunway
) ?COUNT)
(
exists
(?AIRPORT ?RUNWAY)
(
cardinality
(
KappaFn
?AIRPORT
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))) ?COUNT)))
Transportation.kif 1277-1287
totalFacilityTypeInArea
AreaGeografica
, la
classe
corrispondente a
AirportWithPavedRunway
and
NumeroInteroNonNegativo
Stringa
Entit�
cardinality
la
classe
descritta da
Stringa
and
NumeroInteroNonNegativo
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
totalFacilityTypeInArea
AreaGeografica
,
Classe
and
NumeroInteroNonNegativo
cardinality
la
classe
descritta da
Stringa
and
NumeroInteroNonNegativo
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
totalLengthOfHighwaySystem
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
totalLengthOfRailwaySystem
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
AreaGeografica
and
MisuraDiLunghezza
la
lunghezza
di la
classe
descritta da
Stringa
è
MisuraDiLunghezza
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
Processo
Oggetto
%è un
elemento
di %2
Oggetto
è
capace
di fare
Processo
nel ruolo
located
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
attribute
AgenteCognitivo
and
DeepSeaCoastalAndGreatLakesWaterTransportation
AgenteCognitivo
è un'
istanza
di
TransportationCompany
ServiceProcess
Oggetto
ServiceProcess
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
eventLocated
ServiceProcess
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
AgenteCognitivo
è
localizzato
in
NorthAmerica
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
attribute
Oggetto
and
DutyFree
Oggetto
è un'
istanza
di
Store
AreaGeopolitica
Entit�
,
Oggetto
and
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Oggetto
è
localizzato
in
AreaGeopolitica
Oggetto
è una
sottoclasse
di
Oggetto
importCommodityType
AreaGeopolitica
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
Processo
è
localizzato
in
Oggetto
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 18229-18246
decreasesLikelihood
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un'
istanza
di
PaperShredder
?CUT è un'
istanza
di
Tagliare
?X è uno
strumento
per ?CUT ?PAPER è un'
istanza
di
Paper
?PAPER è un
paziente
di ?CUT ?CBO è
localizzato
in ?PAPER ?CBO è un'
istanza
di
VisualContentBearingObject
?CBO
contiene
s informazione ?INFO and ?READ ?READ è un'
istanza
di
Interpreting
?INFO è un
paziente
di ?READ il
tempo
di esistenza di ?CUT accades
prima
di il
tempo
di esistenza di ?READ
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 31766-31771
OrganismPopulationFn
Organismo
and
AreaGeografica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Organismo
I
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
JesusOfNazareth
è
localizzato
in
Palestine
vales
durante
il
tempo
di esistenza di
JesusOfNazareth
appearance as argument number 0
(
located
AalandIslands
BalticSea
)
Media.kif 2563-2563
AalandIslands
è
localizzato
in
BalticSea
(
located
AntarcticCircumpolarCurrent
SouthernOcean
)
Geography.kif 4695-4695
AntarcticCircumpolarCurrent
è
localizzato
in
SouthernOcean
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
FrenchSouthernAndAntarcticLands
è
localizzato
in
DirectionalSubregionFn
South
and
IndianOcean
(
located
FrenchSouthernAndAntarcticLands
IndianOcean
)
CountriesAndRegions.kif 586-586
FrenchSouthernAndAntarcticLands
è
localizzato
in
IndianOcean
(
located
SaintHelena
SouthAtlanticOcean
)
CountriesAndRegions.kif 231-231
SaintHelena
è
localizzato
in
SouthAtlanticOcean
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