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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Trespassing
Trespassing

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


(documentation Trespassing EnglishLanguage "Entering property that does not belong to one and without the permission of the owner of the property.") Mid-level-ontology.kif 16008-16009
(externalImage Trespassing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ WOTeb_FCEN_no_trespassing.jpg") pictureList.kif 6931-6931
(externalImage Trespassing "http://upload.wikimedia.org/wikipedia/en/3/3e/ Mater_Dei_Trespassing.jpg") pictureList.kif 8124-8124
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 16006-16006
(subclass Trespassing Translocation) Mid-level-ontology.kif 16007-16007

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


(termFormat ChineseLanguage Trespassing "擅闯") domainEnglishFormat.kif 59152-59152
(termFormat ChineseTraditionalLanguage Trespassing "擅闖") domainEnglishFormat.kif 59151-59151
(termFormat EnglishLanguage Trespassing "trespassing") domainEnglishFormat.kif 59150-59150

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


(=>
    (and
        (instance ?T Trespassing)
        (agent ?T ?H)
        (patient ?T ?P))
    (and
        (not
            (possesses ?H ?P))
        (modalAttribute
            (located ?H ?P) Illegal)))
Mid-level-ontology.kif 16019-16029
(=>
    (and
        (instance ?T Trespassing)
        (patient ?T ?P))
    (instance ?P RealEstate))
FinancialOntology.kif 1311-1315


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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