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
agent
Sigma KEE - agent
agent
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1865-1867
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2437-2440
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 488-490
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2433-2433
Le nombre 1 argument de
agent
est une
instance
de
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2434-2434
Le nombre 2 argument de
agent
est une
instance
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2431-2431
agent
est une
instance
de
r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2432-2432
agent
est une
instance
de
relation partielle
No TPTP formula. May not be expressible in strict first order.
Merge.kif 2435-2435
agent
est une
sous
-relation de
involvedInEvent
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.
english_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.
french_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 22-22
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1875-1875
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 7-7
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 80-80
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 62-62
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 53-53
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 74-74
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 54-54
No TPTP formula. May not be expressible in strict first order.
relations-cb.txt 56-56
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22819-22819
typicalAction
est
reli
� � l'int�rieur de SUMO �
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 227-227
arrestingOfficer
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19677-19677
contestParticipant
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23435-23435
gainsControl
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 23-23
invadingVirus
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 271-271
perpetrator
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 16272-16272
plaintiff
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
Law.kif 309-309
prosecutor
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 22879-22879
serviceProvider
est une
sous
-relation de
agent
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 54-54
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18837-18843
Processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est une
instance
de
objet d'art
Artist
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 487-499
Processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
objet
physique
est un
patient
de
processus
valeur
de
physique
est
mesure de devise
financial transaction
financial transaction
est un
sous
-processus de
processus
financial transaction
est une
instance
de
Payment
transactionAmount
financial transaction
and
mesure de devise
financial transaction
a pour
origine
AutonomousAgent
financial transaction
aboutit
�
objet
No TPTP formula. May not be expressible in strict first order.
emotion.kif 374-387
AppraisalAsJustTreatment
est un
attribut
de
agent cognitif
agent cognitif
JT est une
instance
de
AppraisalProcess
agent cognitif
JT est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
JT inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
veut
processus
No TPTP formula. May not be expressible in strict first order.
emotion.kif 349-363
AppraisalAsUnjustTreatment
est un
attribut
de
agent cognitif
agent cognitif
UJ est une
instance
de
AppraisalProcess
agent cognitif
UJ est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
UJ inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
ne
veut
%n{pas}
processus
No TPTP formula. May not be expressible in strict first order.
Biography.kif 757-776
VoiceActor
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
DramaticActing
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
LinguisticCommunication
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
processus
AutonomousAgent
processus
est une
instance
de
voir
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
AutonomousAgent
processus
est une
instance
de
entendre
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5824-5834
Maladie ou syndrome
est un
attribut
de
objet
diseaseTreatment
maladie ou syndrome
and
processus therapeutique
processus
est une
instance
de
TherpeuticProcess
processus
est un
agent
de
maladie ou syndrome
OC
objet
est un
patient
de
processus
MedicalDoctor
est un
attribut
de
maladie ou syndrome
OC
l'argument
processus
est une
instance
de
processus therapeutique
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3984-4004
ADHD
est un
attribut
de
AutonomousAgent
ADHD
est un
attribut
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus psycholoqique intentionnel
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
l'argument
dur�e temporel
est
plus
grand
que
dur�e temporel
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 134-143
Muslim
est un
attribut
de
objet
objet
est
capable
de faire
Hajj
dans le r�le
agent
l'argument
entit�
entit�
est une
instance
de
Hajj
entit�
est un
agent
de
objet
a la
force
modale
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1207-1224
CommunalAttribute
est un
attribut
de
objet
objet
est une
instance
de
Table
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
GroupOfPeople
eventLocated
processus
and
objet
l'argument
entit�
entit�
and
objet
2
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
AutonomousAgent
est
entit�
entit�
est une
instance
de
GroupOfPeople
eventLocated
entit�
and
objet
2
temps
d'existence de
processus
rencontre
temps
d'existence de
entit�
objet
est
objet
2 a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 25748-25761
Multilingual
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
Speaking
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
entit�
est une
instance
de
SpokenHumanLanguage
entit�
est une
instance
de
SpokenHumanLanguage
entit�
est
entit�
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1935-1946
TravelerAccommodation
est un
attribut
de
AutonomousAgent
AutonomousAgent
est
capable
de faire
RoomCleaningService
dans le r�le
agent
agent cognitif
objet
AutonomousAgent
emploie
agent cognitif
Maid
est un
attribut
de
agent cognitif
objet
est une
instance
de
HotelUnit
objet
est une
partie
de
appartenir
�
AutonomousAgent
objet
est
capable
de faire
RoomCleaningService
dans le r�le
patient
agent cognitif
est
capable
de faire
RoomCleaningService
dans le r�le
serviceProvider
No TPTP formula. May not be expressible in strict first order.
Biography.kif 730-740
Writer
est un
attribut
de
AutonomousAgent
entit�
est une
instance
de
objet exprimant un sens
objet exprimant un sens
est une
sous
-classe de
texte
objet exprimant un sens
est une
sous
-classe de
Document
processus
est une
instance
de
�crire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
interval temporel
and
nombre entier
interval temporel
est une
instance
de
minute
nombre entier
nombre entier
est une
instance
de
r�cr�ation ou exercice
nombre entier
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
temps
d'existence de
nombre entier
HumanAdult
est un
attribut
de
AutonomousAgent
pendant
interval temporel
nombre entier
est
plus
grand
que 16
nombre entier
est
moins
que 12
Healthy
est un
attribut
de
AutonomousAgent
pendant
interval temporel
No TPTP formula. May not be expressible in strict first order.
Government.kif 1850-1854
candidateForPosition
Election
,
r�le social
and
agent cognitif
Election
est un
agent
de
AutonomousAgent
agent cognitif
desire
agent cognitif
occupe la
position
de
r�le social
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-172
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
No TPTP formula. May not be expressible in strict first order.
Government.kif 1588-1595
chiefOfStateType
secteur g�opolitique
and
position
Election
est un
agent
de
secteur g�opolitique
Election
est une
instance
de
Election
electionForPosition
Election
and
position
Election
est une
instance
de
PopularElection
governmentType
secteur g�opolitique
and
Democracy
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
customer
agent cognitif
and
AutonomousAgent
corkageFee
mesure de devise
,
objet
and
AutonomousAgent
objet
est une
instance
de
objet
processus
processus
est une
instance
de
acheter
objet
est un
patient
de
processus
processus
aboutit
�
agent cognitif
processus
a pour
origine
AutonomousAgent
processus
est une
instance
de
boire
processus
est un
agent
de
agent cognitif
objet
est une
resource
pour
processus
processus
processus
est une
instance
de
Corkage
processus
est un
agent
de
agent cognitif
processus
inclut une
r
�f�rence �
objet
processus
aboutit
�
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20734-20743
directed
humain
and
motion picture
processus
est une
instance
de
FilmMaking
AutonomousAgent
est une
instance
de
organisation
leader
AutonomousAgent
and
humain
processus
est un
agent
de
AutonomousAgent
motion picture
est le
resultat
de
processus
FilmDirector
est un
attribut
de
humain
pendant
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3040-3054
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
entit�
processus
cause
entit�
suffers
entit�
and
agent cognitif
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3022-3038
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
emploie
agent cognitif
processus
est une
instance
de
DoNetworkMessaging
objet
est le
resultat
de
processus
NSFW
est un
attribut
de
objet
processus
est un
agent
de
agent cognitif
processus
est une
instance
de
voir
objet
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
l'argument
agent cognitif
ROC
processus
cause
agent cognitif
ROC
suffers
agent cognitif
ROC and
agent cognitif
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18343-18358
Organisation
est
DepartmentOfFn
organisation
and
physique
organisation
2 est une partie de l'organization
organisation
organisation
est
organisation
2
entit�
est une
instance
de
physique
organisation
est
interess
� par
entit�
nombre r�el
est
probabilit
� de
entit�
est un
agent
de
organisation
entit�
2 est
probabilit
� de
entit�
est un
agent
de
organisation
2
nombre r�el
est
plus
grand
que
entit�
2
No TPTP formula. May not be expressible in strict first order.
Dining.kif 336-350
facility
AutonomousAgent
and
objet
customer
agent cognitif
and
AutonomousAgent
entit�
est une
instance
de
objet
agent cognitif
desire
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
l'argument
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
agent cognitif
utilise
entit�
a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 841-862
freeFunctionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
price
objet
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 546-561
freePropertyAmenity
AutonomousAgent
and
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
price
processus
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
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
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7727-7733
customer
agent cognitif
and
AutonomousAgent
processus
processus
est une
instance
de
financial transaction
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
agent cognitif
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3635-3642
customerRepresentative
agent cognitif
,
agent cognitif
and
organisation
processus
processus
est une
instance
de
financial transaction
organisation
emploie
agent cognitif
processus
est un
agent
de
agent cognitif
processus
aboutit
�
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30271-30279
Mute
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
processus
est une
instance
de
Speaking
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
est un
agent
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1601-1607
LegalAgent
est un
attribut
de
entit�
pendant
position temporel
entit�
est
capable
de faire
action l�gale
dans le r�le
agent
entit�
est
capable
de faire
action l�gale
dans le r�le
patient
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14100-14106
agreementClause
proposition
,
Permission
,
Agreement
and
agent cognitif
agent cognitif
a le
droit
d'executer
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14091-14098
agreementClause
proposition
,
Prohibition
,
Agreement
and
agent cognitif
agent cognitif
n' %n{pas} le
droit
d'executer
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Music.kif 280-287
albumArtist
Album
and
agent cognitif
objet exprimant un sens
processus
objet exprimant un sens
est une
instance
de
Recording
objet exprimant un sens
est un
membre
de
Album
record
objet exprimant un sens
and
processus
processus
est un
agent
de
agent cognitif
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14079-14089
agreementClause
proposition
,
deontic attribute
,
Agreement
and
agent cognitif
deontic attribute
est
Obligation
deontic attribute
est
Promise
l'argument
entit�
entit�
exprime
le contenu de
proposition
entit�
est un
agent
de
agent cognitif
a la
force
modale
de
Likely
No TPTP formula. May not be expressible in strict first order.
emotion.kif 374-387
AppraisalAsJustTreatment
est un
attribut
de
agent cognitif
agent cognitif
JT est une
instance
de
AppraisalProcess
agent cognitif
JT est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
JT inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
veut
processus
No TPTP formula. May not be expressible in strict first order.
emotion.kif 349-363
AppraisalAsUnjustTreatment
est un
attribut
de
agent cognitif
agent cognitif
UJ est une
instance
de
AppraisalProcess
agent cognitif
UJ est un
agent
de
agent cognitif
processus
agent cognitif
2
processus
est une
instance
de
processus
agent cognitif
UJ inclut une
r
�f�rence �
processus
processus
est un
agent
de
agent cognitif
2
agent cognitif
est
agent cognitif
2
agent cognitif
est un
patient
de
processus
agent cognitif
ne
veut
%n{pas}
processus
No TPTP formula. May not be expressible in strict first order.
Biography.kif 223-230
Founder
est un
attribut
de
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
processus
processus
est une
instance
de
Founding
processus
est un
agent
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 4373-4382
TwoFactorAuthentication
est un
attribut
de
UserAccount
loggedInDuring
AutonomousAgent
,
UserAccount
and
interval temporel
interval temporel
F
interval temporel
F est une
instance
de
TwoFactorLoggingIn
interval temporel
F est un
agent
de
AutonomousAgent
accountUsed
interval temporel
F and
UserAccount
temps
d'existence de
interval temporel
F arrive
plus
t�t que
interval temporel
No TPTP formula. May not be expressible in strict first order.
Biography.kif 757-776
VoiceActor
est un
attribut
de
AutonomousAgent
processus
est une
instance
de
DramaticActing
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
LinguisticCommunication
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
processus
AutonomousAgent
processus
est une
instance
de
voir
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
AutonomousAgent
processus
est une
instance
de
entendre
AutonomousAgent
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
Muslim
est un
attribut
de
AutonomousAgent
valeur
de ce que poss�de
AutonomousAgent
est
mesure de devise
l'argument
entit�
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Zakat
entit�
est une
instance
de
ann�e
entit�
prend place
pendant
temps
d'existence de
AutonomousAgent
FullyFormed
est un
attribut
de
AutonomousAgent
pendant
entit�
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
entit�
(s)
entit�
est une
instance
de
UnitOfCurrency
entit�
est
plus
grand
que
mesure de devise
+ 0.025 a la
force
modale
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17332-17345
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
attribut subjectif
position temporel
processus
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
attribut
est un
attribut
de
objet
est le
resultat
de
processus
AutonomousAgent
croit
objet
a un
attribute
attribut
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Military.kif 286-297
Attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
CommissionedOfficerRank
processus
objet
processus
est une
instance
de
diriger
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
MilitaryOrganization
Soldier
est un
attribut
de
objet
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 134-143
Muslim
est un
attribut
de
objet
objet
est
capable
de faire
Hajj
dans le r�le
agent
l'argument
entit�
entit�
est une
instance
de
Hajj
entit�
est un
agent
de
objet
a la
force
modale
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1207-1224
CommunalAttribute
est un
attribut
de
objet
objet
est une
instance
de
Table
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
GroupOfPeople
eventLocated
processus
and
objet
l'argument
entit�
entit�
and
objet
2
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
AutonomousAgent
est
entit�
entit�
est une
instance
de
GroupOfPeople
eventLocated
entit�
and
objet
2
temps
d'existence de
processus
rencontre
temps
d'existence de
entit�
objet
est
objet
2 a la
force
modale
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20601-20623
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29963-29972
buys
agent cognitif
,
AutonomousAgent
and
entit�
entit�
est une
instance
de
physique
processus
processus
est une
instance
de
acheter
entit�
est un
patient
de
processus
processus
est un
agent
de
agent cognitif
processus
a pour
origine
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29974-29984
buys
agent cognitif
,
AutonomousAgent
and
proposition
proposition
est une
instance
de
proposition
processus
processus
processus
est un
agent
de
agent cognitif
processus
exprime
le contenu de
proposition
processus
est une
instance
de
acheter
processus
est un
patient
de
processus
processus
a pour
origine
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
TransportDetail.kif 153-172
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
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 684-695
checkOutTime
agent cognitif
and
point temporel
guest
agent cognitif
and
agent cognitif
expects
agent cognitif
and
entit�
entit�
entit�
est une
instance
de
point temporel
agent cognitif
est un
patient
de
entit�
entit�
est une
instance
de
CheckOutService
entit�
est un
agent
de
agent cognitif
le
d
�but de
temps
d'existence de
entit�
se produit
avant
entit�
No TPTP formula. May not be expressible in strict first order.
Government.kif 1132-1152
Humain
est un
citoyen
de
nation
UniversalSuffrageLaw
est une
sous
-proposition de
RegionalLawFn
nation
RegionalLawFn
nation
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
customer
agent cognitif
and
AutonomousAgent
corkageFee
mesure de devise
,
objet
and
AutonomousAgent
objet
est une
instance
de
objet
processus
processus
est une
instance
de
acheter
objet
est un
patient
de
processus
processus
aboutit
�
agent cognitif
processus
a pour
origine
AutonomousAgent
processus
est une
instance
de
boire
processus
est un
agent
de
agent cognitif
objet
est une
resource
pour
processus
processus
processus
est une
instance
de
Corkage
processus
est un
agent
de
agent cognitif
processus
inclut une
r
�f�rence �
objet
processus
aboutit
�
AutonomousAgent
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
People.kif 456-469
Ann�e
est une
instance
de l'
ann
�e
nombre entier
ChildrenBornPerWomanFn
secteur g�opolitique
and
ann�e
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.
Government.kif 1241-1248
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION est une
instance
de
ElectionFn
?AGENT ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
Male
est un
attribut
de ?VOTER
contient
information
ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order.
Government.kif 923-931
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY est une
instance
de
nation
?ELECTION est une
instance
de
ElectionFn
?COUNTRY ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
?VOTER est un
citoyen
de ?COUNTRY
contient
information
VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?AGENT est
capable
de faire
VotingFn
?ELECTION dans le r�le
agent
contient
information
UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Government.kif 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?VOTING ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
contient
information
CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4559-4564
Processus
entit�
processus
est une
instance
de
disseminer
processus
est un
agent
de
Netflix
entit�
est un
patient
de
processus
entit�
est une
instance
de
motion picture
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4566-4569
Processus
processus
est une
instance
de
FilmMaking
processus
est un
agent
de
Netflix
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