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
located
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 4078-4080
(
documentation
located
JapaneseLanguage
"(
located
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で
partlyLocated
であり、?OBJ2 で
located
ではない ?OBJ1 の
part
がないことを意味する。")
japanese_format.kif 763-764
(
domain
located
1
Physical
)
Merge.kif 4075-4075
O argumento numero 1 de
located
e' uma
instancia
de
Fisico
(
domain
located
2
Object
)
Merge.kif 4076-4076
O argumento numero 2 de
located
e' uma
instancia
de
Objeto
(
instance
located
AntisymmetricRelation
)
Merge.kif 4070-4070
located
e' uma
instancia
de
Relacao Anti-simetrica
(
instance
located
TotalValuedRelation
)
Merge.kif 4072-4072
located
e' uma
instancia
de
Relacao Total
(
instance
located
TransitiveRelation
)
Merge.kif 4071-4071
located
e' uma
instancia
de
Relacao Transitiva
(
subrelation
located
partlyLocated
)
Merge.kif 4073-4073
located
e' uma
sub
-relacao de
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 3868-3868
time
e'
relacionado
internamente por SUMO a
located
(
subrelation
exactlyLocated
located
)
Merge.kif 4134-4134
exactlyLocated
e' uma
sub
-relacao de
located
(
subrelation
geographicSubregion
located
)
Merge.kif 14046-14046
geographicSubregion
e' uma
sub
-relacao de
located
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 7576-7576
headquartersOfOrganization
e' uma
sub
-relacao de
located
(
subrelation
onboard
located
)
Mid-level-ontology.kif 17404-17404
onboard
e' uma
sub
-relacao de
located
(
subrelation
partiallyFills
located
)
Merge.kif 9974-9974
partiallyFills
e' uma
sub
-relacao de
located
(
subrelation
postCity
located
)
Mid-level-ontology.kif 24758-24758
postCity
e' uma
sub
-relacao de
located
(
subrelation
postCountry
located
)
Mid-level-ontology.kif 24701-24701
postCountry
e' uma
sub
-relacao de
located
(
subrelation
postDistrict
located
)
Mid-level-ontology.kif 24742-24742
postDistrict
e' uma
sub
-relacao de
located
(
subrelation
postNeighborhood
located
)
Mid-level-ontology.kif 24670-24670
postNeighborhood
e' uma
sub
-relacao de
located
(
subrelation
postPostcodeArea
located
)
Mid-level-ontology.kif 24784-24784
postPostcodeArea
e' uma
sub
-relacao de
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 24790-24795
PostalPlace
e'
situado
em
PostcodeArea
PostalPlace
e' uma
instancia
de
PostalPlace
PostcodeArea
e' uma
instancia
de
PostcodeArea
postPostcodeArea
PostalPlace
and
PostcodeArea
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
City
))
(
postCity
?PLACE ?GEO))
Mid-level-ontology.kif 24763-24768
PostalPlace
e'
situado
em
Cidade
PostalPlace
e' uma
instancia
de
PostalPlace
Cidade
e' uma
instancia
de
Cidade
postCity
PostalPlace
and
Cidade
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 24676-24681
PostalPlace
e'
situado
em
Neighborhood
PostalPlace
e' uma
instancia
de
PostalPlace
Neighborhood
e' uma
instancia
de
Neighborhood
postNeighborhood
PostalPlace
and
Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24747-24752
PostalPlace
e'
situado
em
Estado ou Provincia
PostalPlace
e' uma
instancia
de
PostalPlace
Estado ou Provincia
e' uma
instancia
de
Estado ou Provincia
postDistrict
PostalPlace
and
Estado ou Provincia
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 24713-24720
PostalPlace
e'
situado
em
Area Geopolitica
PostalPlace
e' uma
instancia
de
PostalPlace
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
Area Geopolitica
(=>
(
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 20601-20623
Waiter
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Restaurant
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Table
Objeto
Entidade
,
Entidade
and
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
KitchenArea
Objeto
e' uma
instancia
de
DiningArea
Objeto
e'
situado
em
Objeto
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
Carrying
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Objeto
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
(=>
(
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 153-172
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
de
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 703-711
chromosomeNumber
EukaryoticCell
and
Numero Inteiro
Objeto
e' uma &parte de
EukaryoticCell
Objeto
e' uma
instancia
de
CellNucleus
EukaryoticCell
OLL e' uma
instancia
de
Colecao
EukaryoticCell
OLL e'
situado
em
Objeto
memberType
EukaryoticCell
OLL and
Chromosome
memberCount
EukaryoticCell
OLL and
Numero Inteiro
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
Humano
e' um
cidadao
de
Nacao
Objeto
Humano
e'
situado
em
Objeto
Humano
e'
situado
em
Nacao
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
elevation
Objeto
and
Medida de Comprimento
Objeto
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e' uma parte
superficial
de
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
Fisico
Fisico
e' uma
sub
-classe de
Objeto
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
situado
em
TemporaryResidence
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Humano
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
price
Objeto
, 0
UnitedStatesDollar
(s) and
Humano
(=>
(
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
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s) and
Humano
(=>
(
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 794-803
haploidNumber
Gamete
and
Numero Inteiro
Gamete
e' uma
instancia
de
Gamete
Objeto
e' uma &parte de
Gamete
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e' uma
instancia
de
Colecao
Colecao
e'
situado
em
Objeto
memberType
Colecao
and
Chromosome
memberCount
Colecao
and
Numero Inteiro
(=>
(
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
e' um
atributo
de
Entidade
Entidade
vive
em
Entidade
Entidade
e'
situado
em
Area Geografica
vale
durante
Intervalo Temporal
Area Geografica
e' uma
instancia
de
Area Geografica
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
Entidade
-PLACE and
Entidade
-RES
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
-RES e' uma
instancia
de
Objeto
Entidade
-PLACE e' uma
instancia
de
Area Geopolitica
Entidade
-RES e'
situado
em
Entidade
-PLACE
Area Geografica
e'
igual
a
Entidade
-PLACE
Entidade
e'
igual
a
Entidade
-RES
geographicSubregion
Area Geografica
and
Entidade
-PLACE
geographicSubregion
Entidade
-PLACE and
Area Geografica
Entidade
vive
em
Entidade
-RES
vale
durante
Intervalo Temporal
(=>
(
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
e' uma
instancia
de
LocalAnesthetizing
Processo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
Objeto
Objeto
e' um
patient
de
Processo
PainFn
Objeto
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
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 25035-25044
Entidade
e' uma
instancia
de
Humano
deviceTelecomNumber
Entidade
and
Entidade
telephoneNumber
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Residence
vale
durante
Posicao Temporal
Entidade
vive
em
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1879-1884
Objeto
e' uma
instancia
de
Area Geografica
Fisico
e' uma
instancia
de
GeologicalFault
Fisico
e'
situado
em
Objeto
GeologicallyStable
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
Processo
e' uma
instancia
de
AntiSurfaceOperation
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Processo
Entidade
e' uma
instancia
de
Area Aquatica
(=>
(
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
e' uma
instancia
de
CateringService
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
UST
AutonomousAgent
e'
situado
em
Objeto
customer
Processo
UST and
AutonomousAgent
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Processo
UST
eventLocated
Processo
and
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
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
e' uma
instancia
de
CivilAffairsAgreement
partyToAgreement
Entidade
_MIL_THIS and
Agreement
Entidade
_MIL_THIS e' uma
instancia
de
MilitaryOrganization
militaryOfArea
Entidade
_MIL_THIS and
Entidade
_THIS
Entidade
_THIS e' uma
instancia
de
Nacao
Entidade
_MIL_THIS e'
situado
em
Entidade
_FRIENDLY
Entidade
_FRIENDLY e' uma
instancia
de
Nacao
Entidade
_THIS e'
igual
a
Entidade
_FRIENDLY
enemy
Entidade
_THIS and
Entidade
_FRIENDLY
Entidade
_FRIENDLY
Entidade
_FRIENDLY e'
situado
em
Entidade
_FRIENDLY
partyToAgreement
Entidade
_FRIENDLY and
Agreement
Entidade
_FRIENDLY e' uma
instancia
de
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
e' uma
instancia
de
CivilAffairsOperation
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Proposicao
e' uma
instancia
de
RegionalLawFn
Area Geopolitica
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Proposicao
(=>
(
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)
(
equal
?A ?C)
(
equal
?B ?C)))))
VirusProteinAndCellPart.kif 1004-1023
Objeto
e' uma
instancia
de
HexaploidCell
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Colecao
Colecao
and
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e'
igual
a
Colecao
(=>
(
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 773-782
EukaryoticCell
e' uma
instancia
de
MonoploidCell
chromosomeNumber
EukaryoticCell
and
Numero Inteiro
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
EukaryoticCell
monoploidNumber
MonoploidChromosomeSet
and
Numero Inteiro
Numero Inteiro
e'
igual
a
Numero Inteiro
(=>
(
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 974-984
Objeto
e' uma
instancia
de
PentaploidCell
Objeto
e' uma
instancia
de
CellNucleus
Objeto
e' uma &parte de
Objeto
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
MonoploidChromosomeSet
e' uma
instancia
de
MonoploidChromosomeSet
MonoploidChromosomeSet
e' uma
sub
-colecao de
Colecao
chromosomeSetCount
MonoploidChromosomeSet
,
Colecao
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 951-966
Objeto
e' uma
instancia
de
TetraploidCell
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CellNucleus
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Colecao
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e'
igual
a
Colecao
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
,
Numero Real
and
Area Geografica
Colecao
Colecao
,
Fisico
,
Fisico
2,
Numero Real
1 and
Numero Real
2
Fisico
e'
situado
em
Area Geografica
Fisico
e'
membro
de
BeliefGroup
Fisico
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
1
Fisico
2 e'
situado
em
Area Geografica
Fisico
2 e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
2
Numero Real
+ 100 e'
igual
a
Numero Real
1 +
Numero Real
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
Grupo Etnico
,
Numero Real
and
Area Geografica
Colecao
Colecao
,
Fisico
,
Fisico
2,
Numero Real
1 and
Numero Real
2
Fisico
e'
situado
em
Area Geografica
Fisico
e'
membro
de
Grupo Etnico
Fisico
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
1
Fisico
2 e'
situado
em
Area Geografica
Fisico
2 e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
2
Numero Real
+ 100 e'
igual
a
Numero Real
1 +
Numero Real
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
Linguagem
,
Numero Real
and
Area Geografica
Colecao
Colecao
,
Agente Sentiente
,
Agente Sentiente
2,
Numero Real
1 and
Numero Real
2
Agente Sentiente
e'
situado
em
Area Geografica
Agente Sentiente
e'
membro
de
Colecao
speaksLanguage
Agente Sentiente
and
Linguagem
memberCount
Colecao
and
Numero Real
1
Agente Sentiente
2 e'
situado
em
Area Geografica
Agente Sentiente
2 e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
2
Numero Real
+ 100 e'
igual
a
Numero Real
1 +
Numero Real
2
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
lengthOfDualGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
lengthOfElectrifiedRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
lengthOfExpresswaySystem
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
lengthOfMultipleTrackRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
lengthOfPavedHighway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
lengthOfStandardGaugeRailway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
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
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23308-23310
locatedAtTime
Objeto
,
Posicao Temporal
and
Objeto
Objeto
e'
situado
em
Objeto
vale
durante
Posicao Temporal
(<=>
(
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
Area Geografica
, a
classe
correspondente a
AirportWithPavedRunway
and
Numero Inteiro nao-negativo
Sequencia Simbolica
Entidade
cardinality
a
classe
descrita por
Sequencia Simbolica
and
Numero Inteiro nao-negativo
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
totalFacilityTypeInArea
Area Geografica
,
Classe
and
Numero Inteiro nao-negativo
cardinality
a
classe
descrita por
Sequencia Simbolica
and
Numero Inteiro nao-negativo
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
totalLengthOfHighwaySystem
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
totalLengthOfRailwaySystem
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
Area Geografica
and
Medida de Comprimento
o
comprimento
de a
classe
descrita por
Sequencia Simbolica
e'
Medida de Comprimento
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
Processo
Objeto
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
Processo
no role
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
DeepSeaCoastalAndGreatLakesWaterTransportation
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
TransportationCompany
ServiceProcess
Objeto
ServiceProcess
e' uma
instancia
de
WaterTransportationService
serviceProvider
ServiceProcess
and
Agente Cognitivo
eventLocated
ServiceProcess
and
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Agente Cognitivo
e'
situado
em
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
DutyFree
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Store
Area Geopolitica
Entidade
,
Objeto
and
Processo
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Objeto
e'
situado
em
Area Geopolitica
Objeto
e' uma
sub
-classe de
Objeto
importCommodityType
Area Geopolitica
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Processo
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Processo
Processo
e'
situado
em
Objeto
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 18202-18219
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma
instancia
de
PaperShredder
?CUT e' uma
instancia
de
Cortar
?X e' um
instrumento
para ?CUT ?PAPER e' uma
instancia
de
Paper
?PAPER e' um
patient
de ?CUT ?CBO e'
situado
em ?PAPER ?CBO e' uma
instancia
de
VisualContentBearingObject
?CBO
contem
informacao ?INFO
diminui
a probabilidade de ?READ ?READ e' uma
instancia
de
Interpreting
?INFO e' um
patient
de ?READ
tempo
de existencia de ?CUT acontence
antes
de
tempo
de existencia de ?READ
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 31734-31739
OrganismPopulationFn
Organismo
and
Area Geografica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Organismo
I
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1920-1920
JesusOfNazareth
e'
situado
em
Palestine
vale
durante
tempo
de existencia de
JesusOfNazareth
appearance as argument number 0
(
located
AalandIslands
BalticSea
)
Media.kif 2563-2563
AalandIslands
e'
situado
em
BalticSea
(
located
AntarcticCircumpolarCurrent
SouthernOcean
)
Geography.kif 4695-4695
AntarcticCircumpolarCurrent
e'
situado
em
SouthernOcean
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
FrenchSouthernAndAntarcticLands
e'
situado
em
DirectionalSubregionFn
South
and
IndianOcean
(
located
FrenchSouthernAndAntarcticLands
IndianOcean
)
CountriesAndRegions.kif 586-586
FrenchSouthernAndAntarcticLands
e'
situado
em
IndianOcean
(
located
SaintHelena
SouthAtlanticOcean
)
CountriesAndRegions.kif 231-231
SaintHelena
e'
situado
em
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