Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alone

Sigma KEE - Alone
Alone

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30209-30209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30208-30208 Alone关联属性instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64427-64427

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30211-30224 Alone 实体attribute 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体equal 那个 实体2 和 那个 实体2 是 施事体instance那个 过程社交instance那个 过程 出现 的 time那个 时距 时段内发生 和 那个 实体 是事件 那个 过程involved那个 实体2 是事件 那个 过程involved


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