Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Solely

 Sigma KEE - Solely
Solely(Solely)alone, entirely, exclusively, only, solely

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


(instance Solely RelationalAttribute) Mid-level-ontology.kif 32838-32838 Solely is an instance of relational attribute
(documentation Solely EnglishLanguage "A manner of action in which only one AutonomousAgent participated.") Mid-level-ontology.kif 32839-32839 Solely is an instance of relational attribute

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


(termFormat EnglishLanguage Solely "Solely") domainEnglishFormat.kif 65517-65517

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


(=>
    (manner ?P Solely)
    (exists (?H)
        (and
            (involvedInEvent ?P ?H)
            (instance ?H AutonomousAgent)
            (not
                (exists (?H2)
                    (and
                        (involvedInEvent ?P ?H2)
                        (instance ?H2 AutonomousAgent)
                        (not
                            (equal ?H ?H2))))))))		 Mid-level-ontology.kif 32841-32852 If X is performed in the manner Solely, then there exists Y such that Y is an involved in event of X, Y is an instance of agent, there doesn't exist Z such that Z is an involved in event of X, Z is an instance of agent, equal Y, and Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners