Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
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 4097-4099
(
documentation
located
JapaneseLanguage
"(
located
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で
partlyLocated
であり、?OBJ2 で
located
ではない ?OBJ1 の
part
がないことを意味する。")
japanese_format.kif 763-764
(
domain
located
1
Physical
)
Merge.kif 4094-4094
Le nombre 1 argument de
located
est une
instance
de
physique
(
domain
located
2
Object
)
Merge.kif 4095-4095
Le nombre 2 argument de
located
est une
instance
de
objet
(
instance
located
AntisymmetricRelation
)
Merge.kif 4089-4089
located
est une
instance
de
relation antisym�trique
(
instance
located
TotalValuedRelation
)
Merge.kif 4091-4091
located
est une
instance
de
relation total
(
instance
located
TransitiveRelation
)
Merge.kif 4090-4090
located
est une
instance
de
relation transitive
(
subrelation
located
partlyLocated
)
Merge.kif 4092-4092
located
est une
sous
-relation 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 3881-3881
time
est
reli
� � l'int�rieur de SUMO �
located
(
subrelation
exactlyLocated
located
)
Merge.kif 4155-4155
exactlyLocated
est une
sous
-relation de
located
(
subrelation
geographicSubregion
located
)
Merge.kif 14199-14199
geographicSubregion
est une
sous
-relation de
located
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 8743-8743
headquartersOfOrganization
est une
sous
-relation de
located
(
subrelation
onboard
located
)
Mid-level-ontology.kif 18955-18955
onboard
est une
sous
-relation de
located
(
subrelation
partiallyFills
located
)
Merge.kif 10112-10112
partiallyFills
est une
sous
-relation de
located
(
subrelation
postCity
located
)
Mid-level-ontology.kif 26420-26420
postCity
est une
sous
-relation de
located
(
subrelation
postCountry
located
)
Mid-level-ontology.kif 26363-26363
postCountry
est une
sous
-relation de
located
(
subrelation
postDistrict
located
)
Mid-level-ontology.kif 26404-26404
postDistrict
est une
sous
-relation de
located
(
subrelation
postNeighborhood
located
)
Mid-level-ontology.kif 26332-26332
postNeighborhood
est une
sous
-relation de
located
(
subrelation
postPostcodeArea
located
)
Mid-level-ontology.kif 26446-26446
postPostcodeArea
est une
sous
-relation de
located
(
termFormat
ChineseLanguage
located
"位于")
chinese_format.kif 146-146
postPostcodeArea
est une
sous
-relation de
located
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 26452-26457
PostalPlace
est
situ
� �
PostcodeArea
PostalPlace
est une
instance
de
PostalPlace
PostcodeArea
est une
instance
de
PostcodeArea
postPostcodeArea
PostalPlace
and
PostcodeArea
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
City
))
(
postCity
?PLACE ?GEO))
Mid-level-ontology.kif 26425-26430
PostalPlace
est
situ
� �
ville
PostalPlace
est une
instance
de
PostalPlace
ville
est une
instance
de
ville
postCity
PostalPlace
and
ville
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
Neighborhood
))
(
postNeighborhood
?PLACE ?GEO))
Mid-level-ontology.kif 26338-26343
PostalPlace
est
situ
� �
Neighborhood
PostalPlace
est une
instance
de
PostalPlace
Neighborhood
est une
instance
de
Neighborhood
postNeighborhood
PostalPlace
and
Neighborhood
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 26409-26414
PostalPlace
est
situ
� �
Etat ou province
PostalPlace
est une
instance
de
PostalPlace
Etat ou province
est une
instance
de
Etat ou province
postDistrict
PostalPlace
and
Etat ou province
(<=>
(
and
(
located
?PLACE ?GEO)
(
instance
?PLACE
PostalPlace
)
(
or
(
instance
?GEO
Nation
)
(
instance
?GEO
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?GEO))
Mid-level-ontology.kif 26375-26382
PostalPlace
est
situ
� �
secteur g�opolitique
PostalPlace
est une
instance
de
PostalPlace
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
secteur g�opolitique
(=>
(
and
(
attribute
?W
Windy
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11414-11422
Windy
est un
attribut
de
objet
objet
est
situ
� �
objet
equal
interval temporel
and
temps
d'existence de
objet
surfaceWindSpeed
objet
and
nombre r�el
MilesPerHour
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que 20.0
(=>
(
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 22218-22240
Waiter
est un
attribut
de
agent cognitif
agent cognitif
est une
instance
de
humain
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
est une
instance
de
Restaurant
customer
agent cognitif
and
AutonomousAgent
agent cognitif
est
situ
� �
objet
objet
est une
instance
de
Table
objet
entit�
,
entit�
and
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
KitchenArea
objet
est une
instance
de
DiningArea
objet
est
situ
� �
objet
agent cognitif
a pour
but
entit�
est une
instance
de
Carrying
entit�
est un
agent
de
agent cognitif
entit�
a pour
origine
objet
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
entit�
est une
instance
de
FoodForFn
humain
(=>
(
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
Organisation
est
capable
de faire
ValetParking
dans le r�le
agent
customer
agent cognitif
and
organisation
organisation
est
situ
� �
objet
processus
est une
instance
de
Arriving
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
processus
aboutit
�
objet
humain
humain
occupe la
position
de
Valet
organisation
l'argument
entit�
entit�
entit�
est une
instance
de
ValetParking
entit�
est un
agent
de
humain
entit�
est un
patient
de
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
ParkingRegion
a la
force
modale
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 709-717
chromosomeNumber
EukaryoticCell
and
nombre entier
objet
est une
partie
de
EukaryoticCell
objet
est une
instance
de
CellNucleus
EukaryoticCell
OLL est une
instance
de
collection
EukaryoticCell
OLL est
situ
� �
objet
memberType
EukaryoticCell
OLL and
Chromosome
memberCount
EukaryoticCell
OLL and
nombre entier
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 2065-2070
elevation
objet
and
mesure de longueur
objet
est
situ
� �
objet
objet
est une
instance
de
secteur g�ographique
objet
est une partie
superficielle
de
PlanetEarth
(=>
(
and
(
equal
?N
NorthPole
)
(
located
?N
ArcticRegion
))
(
exists
(?A)
(
and
(
axis
?A
PlanetEarth
)
(
traverses
?A ?N))))
Geography.kif 3994-4001
equal
objet
and
NorthPole
objet
est
situ
� �
ArcticRegion
objet
axis
objet
and
PlanetEarth
objet
traverse
objet
(=>
(
and
(
equal
?PLANE
(
LevelPlaneFn
?P ?A))
(
part
?P ?R)
(
instance
?R
Region
)
(
located
?R ?A))
(
exists
(?L)
(
and
(
instance
?L
LineInSpace
)
(
endPointsOfLineInSpace
?P
(
CenterOfPlanetFn
?A) ?L)
(
orientation
?PLANE ?L
RightAngle
))))
Mid-level-ontology.kif 27429-27441
equal
PlaneInSpace
and
LevelPlaneFn
PointInSpace
and
corps astronomique
PointInSpace
est une
partie
de
objet
objet
est une
instance
de
r�gion
objet
est
situ
� �
corps astronomique
FiniteLineInSpace
FiniteLineInSpace
est une
instance
de
LineInSpace
endPointsOfLineInSpace
PointInSpace
,
CenterOfPlanetFn
corps astronomique
and
FiniteLineInSpace
PlaneInSpace
est
RightAngle
�
FiniteLineInSpace
(=>
(
and
(
equal
?S
SouthPole
)
(
located
?S
Antarctica
))
(
exists
(?A)
(
and
(
axis
?A
PlanetEarth
)
(
traverses
?A ?S))))
Geography.kif 4021-4028
equal
objet
and
SouthPole
objet
est
situ
� �
Antarctica
objet
axis
objet
and
PlanetEarth
objet
traverse
objet
(=>
(
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
physique
physique
est une
sous
-classe de
objet
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
objet
est une
instance
de
physique
objet
est
situ
� �
TemporaryResidence
processus
est une
instance
de
processus
processus
est un
agent
de
humain
objet
est un
patient
de
processus
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
price
objet
, 0
UnitedStatesDollar
(s) and
humain
(=>
(
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
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
price
processus
, 0.0
UnitedStatesDollar
(s) and
humain
(=>
(
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 800-809
haploidNumber
Gamete
and
nombre entier
Gamete
est une
instance
de
Gamete
objet
est une
partie
de
Gamete
objet
est une
instance
de
CellNucleus
collection
est une
instance
de
collection
collection
est
situ
� �
objet
memberType
collection
and
Chromosome
memberCount
collection
and
nombre entier
(=>
(
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
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1000-1011
Processus
est une
instance
de
LocalAnesthetizing
processus
est
situ
� �
objet
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est un
patient
de
processus
PainFn
objet
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
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
?AREA
GeographicArea
)
(
instance
?FAULT
GeologicalFault
)
(
located
?FAULT ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 2037-2042
Objet
est une
instance
de
secteur g�ographique
physique
est une
instance
de
GeologicalFault
physique
est
situ
� �
objet
GeologicallyStable
est un
attribut
de
objet
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
Processus
est une
instance
de
AntiSurfaceOperation
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
entit�
est une
instance
de
plan d'eau
(=>
(
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
Processus
est une
instance
de
CateringService
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
UST
AutonomousAgent
est
situ
� �
objet
customer
processus
UST and
AutonomousAgent
processus
entit�
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
processus
est une
instance
de
manger
processus
est un
agent
de
processus
UST
eventLocated
processus
and
objet
equal
objet
and
objet
(=>
(
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
est une
instance
de
CivilAffairsAgreement
partyToAgreement
entit�
_MIL_THIS and
Agreement
entit�
_MIL_THIS est une
instance
de
MilitaryOrganization
militaryOfArea
entit�
_MIL_THIS and
entit�
_THIS
entit�
_THIS est une
instance
de
nation
entit�
_MIL_THIS est
situ
� �
entit�
_FRIENDLY
entit�
_FRIENDLY est une
instance
de
nation
equal
entit�
_THIS and
entit�
_FRIENDLY
enemy
entit�
_THIS and
entit�
_FRIENDLY
entit�
_FRIENDLY
entit�
_FRIENDLY est
situ
� �
entit�
_FRIENDLY
partyToAgreement
entit�
_FRIENDLY and
Agreement
entit�
_FRIENDLY est une
instance
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
Processus
est une
instance
de
CivilAffairsOperation
processus
est
situ
� �
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
proposition
est une
instance
de
RegionalLawFn
secteur g�opolitique
processus
exprime
le contenu de
proposition
consistent
proposition
and
proposition
(=>
(
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 1010-1031
Objet
est une
instance
de
HexaploidCell
objet
est une
partie
de
objet
objet
est une
instance
de
CellNucleus
collection
est
situ
� �
objet
collection
est une
instance
de
collection
memberType
collection
and
Chromosome
collection
collection
and
collection
collection
est une
instance
de
HomologousChromosomeSet
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
collection
est une
sous
-collection appartenant �
collection
collection
est une
instance
de
HomologousChromosomeSet
collection
est une
sous
-collection appartenant �
collection
equal
collection
and
collection
equal
collection
and
collection
equal
collection
and
collection
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 1529-1540
beliefGroupPercentInRegion
BeliefGroup
,
nombre r�el
and
secteur g�ographique
collection
collection
,
physique
,
physique
2,
nombre r�el
1 and
nombre r�el
2
physique
est
situ
� �
secteur g�ographique
physique
est un
membre
de
BeliefGroup
physique
est un
membre
de
collection
memberCount
collection
and
nombre r�el
1
physique
2 est
situ
� �
secteur g�ographique
physique
2 est un
membre
de
collection
memberCount
collection
and
nombre r�el
2
equal
nombre r�el
+ 100 and
nombre r�el
1 +
nombre r�el
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 1548-1559
ethnicityPercentInRegion
groupe ethnique
,
nombre r�el
and
secteur g�ographique
collection
collection
,
physique
,
physique
2,
nombre r�el
1 and
nombre r�el
2
physique
est
situ
� �
secteur g�ographique
physique
est un
membre
de
groupe ethnique
physique
est un
membre
de
collection
memberCount
collection
and
nombre r�el
1
physique
2 est
situ
� �
secteur g�ographique
physique
2 est un
membre
de
collection
memberCount
collection
and
nombre r�el
2
equal
nombre r�el
+ 100 and
nombre r�el
1 +
nombre r�el
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 1567-1578
languagePercentInRegion
langage
,
nombre r�el
and
secteur g�ographique
collection
collection
,
sentient agent
,
sentient agent
2,
nombre r�el
1 and
nombre r�el
2
sentient agent
est
situ
� �
secteur g�ographique
sentient agent
est un
membre
de
collection
speaksLanguage
sentient agent
and
langage
memberCount
collection
and
nombre r�el
1
sentient agent
2 est
situ
� �
secteur g�ographique
sentient agent
2 est un
membre
de
collection
memberCount
collection
and
nombre r�el
2
equal
nombre r�el
+ 100 and
nombre r�el
1 +
nombre r�el
2
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
lengthOfDualGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
lengthOfElectrifiedRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
lengthOfExpresswaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
lengthOfMultipleTrackRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
lengthOfPavedHighway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
lengthOfStandardGaugeRailway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
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
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 24949-24951
locatedAtTime
objet
,
position temporel
and
objet
objet
est
situ
� �
objet
pendant
position temporel
(<=>
(
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 1349-1359
totalFacilityTypeInArea
secteur g�ographique
, la
classe
correspondant �
AirportWithPavedRunway
and
nombre entier non n�gatif
cha�ne sympbolique
entit�
cardinality
la
classe
d�crite par
cha�ne sympbolique
and
nombre entier non n�gatif
(<=>
(
totalFacilityTypeInArea
?AREA ?TYPE ?COUNT)
(
cardinality
(
KappaFn
?ITEM
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
totalFacilityTypeInArea
secteur g�ographique
,
classe
and
nombre entier non n�gatif
cardinality
la
classe
d�crite par
cha�ne sympbolique
and
nombre entier non n�gatif
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
totalLengthOfHighwaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
totalLengthOfRailwaySystem
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
secteur g�ographique
and
mesure de longueur
le
longueur
de la
classe
d�crite par
cha�ne sympbolique
est
mesure de longueur
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 603-608
activityCapability
AutonomousAgent
and
processus
objet
objet
est un
appartenir
�
AutonomousAgent
objet
est
capable
de faire
processus
dans le r�le
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
est un
attribut
de
agent cognitif
agent cognitif
est une
instance
de
TransportationCompany
ServiceProcess
objet
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
eventLocated
ServiceProcess
and
objet
objet
est une
instance
de
plan d'eau
agent cognitif
est
situ
� �
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 1489-1502
DutyFree
est un
attribut
de
objet
objet
est une
instance
de
Store
secteur g�opolitique
entit�
,
objet
and
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
objet
est
situ
� �
secteur g�opolitique
objet
est une
sous
-classe de
objet
importCommodityType
secteur g�opolitique
and
objet
entit�
est une
instance
de
objet
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
processus
est
situ
� �
objet
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 19773-19790
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une
instance
de
PaperShredder
?CUT est une
instance
de
couper
?X est un
instrument
pour ?CUT ?PAPER est une
instance
de
Paper
?PAPER est un
patient
de ?CUT ?CBO est
situ
� � ?PAPER ?CBO est une
instance
de
VisualContentBearingObject
?CBO
contient
information ?INFO
diminue
la probabilit� de ?READ ?READ est une
instance
de
Interpreting
?INFO est un
patient
de ?READ
temps
d'existence de ?CUT arrive
plus
t�t que
temps
d'existence de ?READ
(
equal
(
OrganismPopulationFn
?O ?AREA)
(
CardinalityFn
(
KappaFn
?OI
(
and
(
instance
?OI ?O)
(
located
?OI ?AREA)))))
Mid-level-ontology.kif 33681-33686
equal
OrganismPopulationFn
organisme
and
secteur g�ographique
and le nombre d'
instances
dans la
classe
d�crite par
organisme
I
(
holdsDuring
(
WhenFn
JesusOfNazareth
)
(
located
JesusOfNazareth
Palestine
))
Media.kif 1922-1922
JesusOfNazareth
est
situ
� �
Palestine
pendant
temps
d'existence de
JesusOfNazareth
appearance as argument number 0
(
located
AalandIslands
BalticSea
)
Media.kif 2565-2565
AalandIslands
est
situ
� �
BalticSea
(
located
AntarcticCircumpolarCurrent
SouthernOcean
)
Geography.kif 4935-4935
AntarcticCircumpolarCurrent
est
situ
� �
SouthernOcean
(
located
FrenchSouthernAndAntarcticLands
(
DirectionalSubregionFn
South
IndianOcean
))
CountriesAndRegions.kif 588-588
FrenchSouthernAndAntarcticLands
est
situ
� �
DirectionalSubregionFn
South
and
IndianOcean
(
located
FrenchSouthernAndAntarcticLands
IndianOcean
)
CountriesAndRegions.kif 586-586
FrenchSouthernAndAntarcticLands
est
situ
� �
IndianOcean
(
located
NullIsland
GulfOfGuinea
)
Geography.kif 5465-5465
NullIsland
est
situ
� �
GulfOfGuinea
(
located
SaintHelena
SouthAtlanticOcean
)
CountriesAndRegions.kif 231-231
SaintHelena
est
situ
� �
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