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 19859-19860
(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 19857-19857
(subclass Trespassing Translocation) Mid-level-ontology.kif 19858-19858

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 19862-19872
(=>
    (and
        (instance ?T Trespassing)
        (patient ?T ?P))
    (instance ?P RealEstate))
FinancialOntology.kif 1386-1390


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