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
contractedRentalPrice
Sigma KEE - contractedRentalPrice
contractedRentalPrice
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 495-498
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 502-502
域
contractedRentalPrice
, 2 and
FunctionQuantity
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 503-503
域
contractedRentalPrice
, 3 and
協議
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 501-501
域子類
contractedRentalPrice
, 1 and
Physical
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 494-494
例
contractedRentalPrice
and
TernaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3106-3106
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3105-3105
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3104-3104
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 499-499
antecedent
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 505-511
協議
對於
FunctionQuantity
指定
Physical
的
rental
PhysicalQuantity
PhysicalQuantity
例
PhysicalQuantity
and
CurrencyMeasure
例
PhysicalQuantity
and
TimeDuration
等於
FunctionQuantity
and
PhysicalQuantity
是
PhysicalQuantity
的
per
No TPTP formula. May not be expressible in strict first order.
Catalog.kif 513-526
協議
對於
FunctionQuantity
指定
Physical
的
rental
CognitiveAgent
CognitiveAgent
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
模態屬性
entity
entity
例
entity
and
租
例
entity
and
Physical
患者
entity
and
entity
agent
entity
and
CognitiveAgent
目的地
entity
and
CognitiveAgent
and
義務
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