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
uniqueIdWithRespectTo
Sigma KEE - uniqueIdWithRespectTo
uniqueIdWithRespectTo
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29909-29912
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29906-29906
域
uniqueIdWithRespectTo
, 1 and
Physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29907-29907
域
uniqueIdWithRespectTo
, 2 and
Physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29908-29908
域
uniqueIdWithRespectTo
, 3 and
SymbolicString
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29905-29905
例
uniqueIdWithRespectTo
and
TernaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4866-4866
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4865-4865
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4864-4864
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65966-65966
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29929-29936
例
SymbolicString
and
InvoiceNumber
Physical
AutonomousAgent
and
Process
例
Physical
and
Invoice
例
Process
and
Selling
agent
Process
and
AutonomousAgent
SymbolicString
是
unique
ID
對於
AutonomousAgent
相對於
Physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30002-30008
例
SymbolicString
and
PurchaseOrderNumber
Physical
CognitiveAgent
,
AutonomousAgent
and
Entity
例
Physical
and
PurchaseOrder
CognitiveAgent
buys
Entity
從
AutonomousAgent
SymbolicString
是
unique
ID
對於
CognitiveAgent
相對於
Physical
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29918-29924
例
SymbolicString
and
AccountNumber
Physical
Entity
and
Physical
例
Physical
and
Corporation
例
Entity
and
AutonomousAgent
SymbolicString
是
unique
ID
對於
Physical
相對於
Physical
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