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
-------------------------


(documentation Alone EnglishLanguage "A state of being without another AutonomousAgent present.") Mid-level-ontology.kif 32141-32141
(instance Alone RelationalAttribute) Mid-level-ontology.kif 32140-32140 Alone关联属性instance

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


(termFormat EnglishLanguage Alone "Alone") domainEnglishFormat.kif 64421-64421

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


(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 32143-32156 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