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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Trespassing
Trespassing(trespassing)
break, break_in, encroachment, intrude, intrusion, trespass, usurpation, violation

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 18546-18547
(externalImage Trespassing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ WOTeb_FCEN_no_trespassing.jpg") pictureList.kif 6930-6930
(externalImage Trespassing "http://upload.wikimedia.org/wikipedia/en/3/3e/ Mater_Dei_Trespassing.jpg") pictureList.kif 8122-8122
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 18544-18544 Trespassing is a subclass of criminal action
(subclass Trespassing Translocation) Mid-level-ontology.kif 18545-18545 Trespassing is a subclass of translocation

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


(termFormat ChineseLanguage Trespassing "擅闯") domainEnglishFormat.kif 59206-59206
(termFormat ChineseTraditionalLanguage Trespassing "擅闖") domainEnglishFormat.kif 59205-59205
(termFormat EnglishLanguage Trespassing "trespassing") domainEnglishFormat.kif 59204-59204

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 18549-18559
(=>
    (and
        (instance ?T Trespassing)
        (patient ?T ?P))
    (instance ?P RealEstate))
FinancialOntology.kif 1370-1374


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