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
range
Sigma KEE - range
range
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1490-1491
No TPTP formula. May not be expressible in strict first order.
Merge.kif 308-310
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 50-52
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 55-57
No TPTP formula. May not be expressible in strict first order.
Merge.kif 306-306
Le nombre 1 argument de
range
est une
instance
de
function
No TPTP formula. May not be expressible in strict first order.
Merge.kif 307-307
Le nombre 2 argument de
range
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 305-305
range
est une
instance
de
relation asym�trique
No TPTP formula. May not be expressible in strict first order.
Merge.kif 304-304
range
est une
instance
de
pr�dicat binaire
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 313-313
No TPTP formula. May not be expressible in strict first order.
english_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.
french_format.kif 179-179
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 238-238
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1999-1999
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 180-180
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 410-410
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 276-276
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 199-199
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 189-189
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 430-430
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 314-314
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48759-48759
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 48758-48758
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3393-3397
Function
est une
instance
de
sequence function s�quence
le
domaine
de
function
est une instance de
classe
classe
est une
sous
-classe de
nombre entier
No TPTP formula. May not be expressible in strict first order.
Merge.kif 312-316
Le
domaine
de
function
est une instance de
classe
function
(@ROW) est
entit�
entit�
est une
instance
de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 324-330
Le
domaine
de
function
est une instance de
classe
le
domaine
de
function
est une instance de
classe
classe
est une
sous
-classe de
classe
classe
est une
sous
-classe de
classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 433-438
Le
domaine
de
function
est une instance de
classe
le
domaine
de
function
est une instance de
classe
classe
est
disjoint
de
classe
function
et
function
sont
disjoint
No TPTP formula. May not be expressible in strict first order.
Merge.kif 318-322
Function
est une
sous
-relation de
function
le
domaine
de
function
est une instance de
classe
le
domaine
de
function
est une instance de
classe
consequent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 318-322
Function
est une
sous
-relation de
function
le
domaine
de
function
est une instance de
classe
le
domaine
de
function
est une instance de
classe
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3227-3227
Le
domaine
de
ABPFn
est une instance de
mesure de devise
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3272-3272
Le
domaine
de
ASPFn
est une instance de
mesure de devise
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2413-2413
Le
domaine
de
AbortedFn
est une instance de
processus
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2478-2478
Le
domaine
de
AbortedLaunchFn
est une instance de
TakingOff
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2432-2432
Le
domaine
de
AbortedMissionFn
est une instance de
MilitaryOperation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4764-4764
Le
domaine
de
AbsoluteValueFn
est une instance de
nombre r�el non n�gatif
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1280-1280
Le
domaine
de
AccelerationFn
est une instance de
function de quantit�
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2317-2317
Le
domaine
de
AccountFn
est une instance de
FinancialAccount
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4715-4715
Le
domaine
de
AdditionFn
est une instance de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 224-224
Le
domaine
de
AddressFn
est une instance de
PhysicalAddress
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8871-8871
Le
domaine
de
AfternoonFn
est une instance de
Afternoon
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3057-3057
Le
domaine
de
AgreementOrganizationFn
est une instance de
organisation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7581-7581
Le
domaine
de
AmountsFn
est une instance de
liste
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5261-5261
Le
domaine
de
ArcCosineFn
est une instance de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5271-5271
Le
domaine
de
ArcSineFn
est une instance de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5251-5251
Le
domaine
de
ArcTangentFn
est une instance de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 788-788
Le
domaine
de
AssignmentFn
est une instance de
entit�
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3195-3195
Le
domaine
de
AuctionGMBFn
est une instance de
mesure de devise
No TPTP formula. May not be expressible in strict first order.
Military.kif 857-857
Le
domaine
de
AvailableForMilitaryServiceMaleFn
est une instance de
nombre entier
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3273-3273
Le
domaine
de
AverageFn
est une instance de
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 899-899
Le
domaine
de
BackFn
est une instance de
objet en une partie
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8019-8019
Le
domaine
de
BeginFn
est une instance de
point temporel
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5944-5944
Le
domaine
de
BeginNodeFn
est une instance de
noeud du graph
No TPTP formula. May not be expressible in strict first order.
People.kif 674-674
Le
domaine
de
BeliefGroupMemberFn
est une instance de
attribut interne
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 2914-2914
Le
domaine
de
BidCountFn
est une instance de
nombre entier non n�gatif
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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