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 Agent present.") Mid-level-ontology.kif 28373-28373
(instance Alone RelationalAttribute) Mid-level-ontology.kif 28372-28372 Alone关联属性instance

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


(<=>
    (holdsDuring ?T
        (attribute ?P Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 Agent)
                (instance ?SI SocialInteraction)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 28374-28385 Alone 实体attribute 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 过程 这样 第三 实体equal 那个 另外 实体那个 另外 实体施事体instance那个 过程社交instanceinvolvedInEvent 那个 过程 and 那个 第三 实体involvedInEvent 那个 过程 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners