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 18315-18316
(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 18313-18313
(subclass Trespassing Translocation) Mid-level-ontology.kif 18314-18314

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


(termFormat ChineseLanguage Trespassing "擅闯") domainEnglishFormat.kif 59170-59170
(termFormat ChineseTraditionalLanguage Trespassing "擅闖") domainEnglishFormat.kif 59169-59169
(termFormat EnglishLanguage Trespassing "trespassing") domainEnglishFormat.kif 59168-59168

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 18318-18328
(=>
    (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