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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SingleAgentProcess

Sigma KEE - SingleAgentProcess
SingleAgentProcess

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


(documentation SingleAgentProcess ChineseLanguage " SingleAgentProcess 这个 Class 里 所有的 Process 都需要恰好一个 agent 才能发生。") Merge.kif 1699-1700
(documentation SingleAgentProcess EnglishLanguage "SingleAgentProcess is the Class of all Processes that require exactly one agent in order to occur.") Merge.kif 1697-1698
(subclass SingleAgentProcess Process) Merge.kif 1696-1696 SingleAgentProcess is a subclass of process

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


(=>
    (and
        (instance ?PROC SingleAgentProcess)
        (agent ?PROC ?AGENT_1)
        (agent ?PROC ?AGENT_2))
    (and
        (equal ?AGENT_1 ?AGENT_2)
        (not
            (exists (?AGENT_3)
                (and
                    (agent ?PROC ?AGENT_3)
                    (not
                        (equal ?AGENT_3 ?AGENT_1)))))))
Merge.kif 1707-1719
(=>
    (instance ?PROC SingleAgentProcess)
    (exists (?AGENT)
        (agent ?PROC ?AGENT)))
Merge.kif 1702-1705


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