TreeView Knowledge Base Browser - SpeakingAtASlowerRate

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

SupermarketsAndOtherGroceryExceptConvenienceStores

Sigma KEE - SpeakingAtASlowerRate

SpeakingAtASlowerRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 2078-2079
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2075-2075	子類 SpeakingAtASlowerRate and EmotionalSpeakingBehavior

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

emotion.kif 2076-2077

antecedent

No TPTP formula. May not be expressible in strict first order.

emotion.kif 2016-2029

例 Process and SpeakingAtAFasterRate 例 Process and SpeakingAtASlowerRate 例 UnitOfMeasure and UnitOfDuration agent Process and AutonomousAgent agent Process and AutonomousAgent 包含信息 Process and Proposition 包含信息 Process and Proposition 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure 持續時間何時 Process and 測量 RealNumber and UnitOfMeasure
比較多 RealNumber and RealNumber

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