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 19377-19378
(externalImage Trespassing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ WOTeb_FCEN_no_trespassing.jpg") pictureList.kif 6929-6929
(externalImage Trespassing "http://upload.wikimedia.org/wikipedia/en/3/3e/ Mater_Dei_Trespassing.jpg") pictureList.kif 8121-8121
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 19375-19375 Trespassing is a subclass of criminal action
(subclass Trespassing Translocation) Mid-level-ontology.kif 19376-19376 Trespassing is a subclass of translocation

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


(termFormat ChineseLanguage Trespassing "擅闯") domainEnglishFormat.kif 59181-59181
(termFormat ChineseTraditionalLanguage Trespassing "擅闖") domainEnglishFormat.kif 59180-59180
(termFormat EnglishLanguage Trespassing "trespassing") domainEnglishFormat.kif 59179-59179

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 19380-19390
(=>
    (and
        (instance ?T Trespassing)
        (patient ?T ?P))
    (instance ?P RealEstate))
FinancialOntology.kif 1384-1388


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