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
OlecranonOfUlna
Sigma KEE - forall
forall
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65835-65835
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17325-17333
Entit�
est une
instance
de
humain
entit�
entit�
n'
emploie
%n{pas}
entit�
pendant
position temporel
Unemployed
est un
attribut
de
entit�
pendant
position temporel
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1522-1530
climateTypeInArea
secteur g�ographique
and
ColdClimateZone
interval temporel
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
10.0 est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5994-6007
La
valeur
de
chemin du graph
est
nombre r�el
arc du graph
est une
partie
de
chemin du graph
arc du graph
est une
partie
de
chemin du graph
la
valeur
de
arc du graph
est
nombre r�el
la
valeur
de
arc du graph
est
nombre r�el
�lement du graph
�lement du graph
est une
partie
de
chemin du graph
�lement du graph
est
arc du graph
�lement du graph
est
arc du graph
la
valeur
de
chemin du graph
est
nombre r�el
+
nombre r�el
)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5980-5992
La
valeur
de
chemin du graph
est
nombre r�el
chemin du graph
est un
sous
-graph de
chemin du graph
arc du graph
est une
partie
de
chemin du graph
la
valeur
de
arc du graph
est
nombre r�el
�lement du graph
�lement du graph
est une
partie
de
chemin du graph
�lement du graph
est une
partie
de
chemin du graph
�lement du graph
est
arc du graph
nombre r�el
est
valeur
de
chemin du graph
+
nombre r�el
)
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3202-3215
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
Auctioning
cha�ne sympbolique
entit�
_PURCHASE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_PURCHASE_AMOUNT
AuctionGMBFn
collection
est
entit�
_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2887-2903
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
financial transaction
cha�ne sympbolique
entit�
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
BoughtItemsFn
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2845-2870
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
WebListing
le nombre d'
instances
dans
entit�
entit�
and
entit�
la
classe
d�crite par
entit�
+ le nombre d'
instances
dans
collection
est
BidCountFn
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2922-2940
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
WebListing
cha�ne sympbolique
entit�
,
entit�
and
cha�ne sympbolique
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
BidCountFn
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1033-1060
Collection
est une
instance
de
collection
WebSite
est une
instance
de
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
WebListing
point temporel
est une
instance
de
point temporel
listingSeller
WebListing
and
AutonomousAgent
WebListing
est un
membre
de
collection
physique
physique
physique
est une
instance
de
WebListing
physique
est un
membre
de
SellersItemsFn
AutonomousAgent
and
WebSite
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est
WebListing
physique
est un
membre
de
collection
physique
est un
membre
de
collection
point temporel
est une
partie
de
temps
d'existence de
physique
physique
est une
instance
de
WebListing
SellersOtherItemsFn
AutonomousAgent
,
WebSite
,
WebListing
and
point temporel
est
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2956-2983
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
acheter
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_PURCHASE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_PURCHASE_AMOUNT
GMBFn
collection
est
entit�
_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2999-3026
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
vendre
objet
objet
est une
instance
de
secteur g�opolitique
AutonomousAgent
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est une
instance
de
acheter
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
cha�ne sympbolique
entit�
and
entit�
_SALE_AMOUNT
total
la
classe
d�crite par
cha�ne sympbolique
and
entit�
_SALE_AMOUNT
GMVFn
collection
est
entit�
_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7378-7392
Objet
est une
instance
de
AuditoriumSeat
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Auditorium
objet
est une
instance
de
PerformanceStage
objet
est
situ
� �
objet
objet
est une
instance
de
humain
processus
est une
sous
-classe de
voir
processus
processus
est une
instance
de
processus
objet
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
agent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4241-4267
Humain
est une
instance
de
humain
collection
est une
instance
de
collection
Experimenting
physique
processus
Experimenting
est une
instance
de
Experimenting
physique
est une
instance
de
processus
physique
est un
membre
de
QualifyingEventsFn
Experimenting
physique
est une
instance
de
processus
humain
est
capable
de faire
processus
dans le r�le
experiencer
physique
est un
membre
de
collection
physique
est un
membre
de
collection
physique
est une
instance
de
processus
Experimenting
physique
ESS
Experimenting
est une
instance
de
Experimenting
physique
est un
membre
de
QualifyingEventsFn
Experimenting
physique
est une
instance
de
physique
ESS
humain
est
capable
de faire
physique
ESS dans le r�le
experiencer
QualifiedTreatmentsFn
humain
est
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4175-4190
Humain
est une
instance
de
humain
collection
est une
instance
de
collection
WebPage
processus
and
Experimenting
WebPage
est une
instance
de
WebPage
processus
est une
instance
de
AccessingWebPage
Experimenting
est une
instance
de
Experimenting
processus
est un
agent
de
humain
WebPage
est un
patient
de
processus
treatedPage
WebPage
and
Experimenting
processus
est un
membre
de
collection
collection
est
QPViewsFn
humain
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3333-3356
Collection
est une
instance
de
collection
objet corpusculaire
est une
instance
de
HypertextLink
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
collection
est un
composant
de
objet corpusculaire
collection
collection
est une
instance
de
collection
processus
processus
est une
instance
de
RequestingHyperlink
objet corpusculaire
est un
patient
de
processus
processus
est un
membre
de
collection
ClickThroughRateFn
collection
and
objet corpusculaire
est
instances
dans
collection
+ le nombre d'
instances
dans
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3668-3704
Collection
est une
instance
de
collection
collection
est une
instance
de
collection
collection
est une
sous
-collection appartenant �
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
AccessingWebPage
processus
AutonomousAgent
,
processus
,
processus
and
objet
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
acheter
processus
est une
instance
de
AccessingWebPage
objet
est une
instance
de
WebPage
processus
est un
membre
de
collection
processus
aboutit
�
objet
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
objet
est un
instrument
pour
processus
processus
est un
membre
de
collection
interval temporel
entit�
_IN_INTERVAL and
entit�
_IN_INTERVAL
SCRFn
collection
and
interval temporel
est
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL + le nombre d'
instances
dans la
classe
d�crite par
entit�
_IN_INTERVAL
consequent
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
Ann�e
est une
instance
de l'
ann
�e
ann�e
EAR
MaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
Ann�e
est une
instance
de l'
ann
�e
nombre entier
FemaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
Ann�e
est une
instance
de l'
ann
�e
nombre entier
LifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
No TPTP formula. May not be expressible in strict first order.
People.kif 272-293
average
liste
and
nombre r�el
liste
nombre entier positif
longueur
de
liste
est
longueur
de
liste
1th
liste
est
liste
nombre entier positif
nombre entier positif
est un
membre
de
liste
nombre r�el
nombre r�el
MINUSONE,
nombre entier positif
and
nombre entier positif
nombre r�el
est
plus
grand
que 1
nombre r�el
est plus
petit
ou �gal �
longueur
de
liste
nombre entier positif
th
liste
est
nombre r�el
nombre entier positif
est un
membre
de
liste
nombre r�el
est
nombre entier positif
th
liste
nombre entier positif
est un
membre
de
liste
nombre r�el
MINUSONE est
nombre r�el
+ 1)
nombre r�el
MINUSONE est
nombre entier positif
th
liste
nombre entier positif
est
nombre entier positif
+
nombre entier positif
)
nombre entier positif
est
longueur
de
liste
nombre r�el
est
nombre entier positif
th
liste
+
nombre entier positif
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7794-7802
Objet
est
plus
large que
objet
nombre r�el
nombre r�el
and
unit� de mesure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1297-1302
Collection
est une
sous
-collection appartenant �
collection
physique
physique
est un
membre
de
collection
physique
est un
membre
de
collection
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 171-176
allRoomsPhysicalAmenity
RoomInventory
and
physique
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
physique
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 233-238
allRoomsPolicy
RoomInventory
and
Policy
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomPolicy
HotelUnit
and
Policy
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 218-223
allRoomsServiceAmenity
RoomInventory
and
physique
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
physique
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4984-4992
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
Sphere
GeometricPoint
mesure de longueur
GeometricPoint
GeometricPoint
est un
point
de
objet
geometricDistance
GeometricPoint
,
GeometricPoint
and
mesure de longueur
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17767-17776
Monochromatic
est un
attribut
de
objet
objet
est une partie
superficielle
de
objet
attribut
est un
attribut
de
objet
attribut
est une
instance
de
couleur primaire
objet
objet
est une partie
superficielle
de
objet
attribut
est un
attribut
de
objet
No TPTP formula. May not be expressible in strict first order.
Government.kif 1096-1116
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.
Hotel.kif 147-154
Collection
est un
appartenir
�
AutonomousAgent
collection
est une
instance
de
RoomInventory
physique
physique
est un
membre
de
collection
physique
est un
appartenir
�
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4862-4873
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4875-4889
Le
plus
grand diviseur commun de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
plus
grand
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4947-4957
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4959-4973
La racine carr�e de
nombre
entier
de @ROW est
nombre entier
nombre entier
est
nombre entier
nombre entier
est
moins
que
nombre entier
nombre entier
nombre entier
est un
membre
de (@ROW)
nombre entier
reste
nombre entier
est &%�gal � 0
No TPTP formula. May not be expressible in strict first order.
Music.kif 936-946
DataStorageDevice
est
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
est une
instance
de
DataStorageDevice
objet
objet
est un
membre
de
Album
objet exprimant un sens
objet exprimant un sens
est une
copie
exact de
objet
stored
objet exprimant un sens
and
DataStorageDevice
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9930-9937
Trou
est un
trou
dans
objet en une partie
trou
est un
trou
dans
objet en une partie
trou
trou
est une
partie
de l'
union
des parties de
trou
et
trou
trou
est un
trou
dans
objet en une partie
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 992-1008
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
WebListing
WebListing
est une
instance
de
WebListing
hostedOn
WebListing
and
WebSite
listingSeller
WebListing
and
AutonomousAgent
WebListing
est un
membre
de
collection
SellersItemsFn
AutonomousAgent
and
WebSite
est
collection
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12957-12968
Objet
est une
instance
de
Chin
objet
est une
instance
de
Face
objet
est une
partie
de
objet
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
Below
�
objet
No TPTP formula. May not be expressible in strict first order.
Food.kif 1012-1026
Processus
est une
instance
de
Grinding
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet corpusculaire
entit�
entit�
est le
resultat
de
processus
entit�
est une
instance
de
collection
entit�
entit�
est un
membre
de
entit�
entit�
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3376-3408
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
interval temporel
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est une
instance
de
acheter
interval temporel
est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
acheter
interval temporel
_BEFORE est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
_BEFORE
interval temporel
_BEFORE prend place
pendant
interval temporel
pendant
interval temporel
_BEFORE
SiteWideNewBuyersFn
interval temporel
and
WebSite
est
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3428-3455
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
physique
physique
est une
instance
de
humain
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
_BEFORE
interval temporel
_DURING
interval temporel
_DURING est une
instance
de
interval temporel
interval temporel
_DURING prend place
pendant
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
physique
est un
membre
de
collection
collection
est
SiteWideNewRegistrationsFn
interval temporel
and
WebSite
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3475-3507
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
interval temporel
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est une
instance
de
vendre
interval temporel
est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
interval temporel
prend place
pendant
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
vendre
interval temporel
_BEFORE est un
agent
de
AutonomousAgent
WebSite
est un
instrument
pour
interval temporel
_BEFORE
interval temporel
_BEFORE prend place
pendant
interval temporel
pendant
interval temporel
_BEFORE
SiteWideNewSellersFn
interval temporel
and
WebSite
est
collection
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.
Government.kif 1205-1212
?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 887-895
?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 1056-1067
?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 1124-1138
?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.
Media.kif 1970-1978
Interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
finit
temps
d'existence de
JesusOfNazareth
interval temporel
commence
temps
d'existence de
TwelveApostles
entit�
entit�
est un
membre
de
TwelveApostles
pendant
interval temporel
friend
entit�
and
JesusOfNazareth
pendant
interval temporel
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13360-13363
Nombre r�el
nombre r�el
OunceMass
(s) est
nombre r�el
+ 16.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4737-4738
Nombre entier
(
nombre entier
+2) est
nombre entier
+ 1)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4721-4722
Nombre entier
(
nombre entier
+1) est
nombre entier
+ 1)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3038-3041
@ROW
Entit�
longueur
de (@ROW +
entit�
) est
longueur
de (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3043-3047
@ROW
Entit�
longueur
de (@ROW +
entit�
)th
entit�
) est
entit�
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3316-3317
@ROW
Entit�
(@ROW)
commence
(@ROW +
entit�
)
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