Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Trespassing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Trespassing CriminalAction) | Mid-level-ontology.kif 20191-20191 | Trespassing is a subclass of criminal action |
| (subclass Trespassing Translocation) | Mid-level-ontology.kif 20192-20192 | Trespassing is a subclass of translocation |
| (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 20193-20194 | Trespassing is a subclass of translocation |
| (externalImage Trespassing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ WOTeb_FCEN_no_trespassing.jpg") | pictureList.kif 6929-6929 | Trespassing is a subclass of translocation |
| (externalImage Trespassing "http://upload.wikimedia.org/wikipedia/en/3/3e/ Mater_Dei_Trespassing.jpg") | pictureList.kif 8121-8121 | Trespassing is a subclass of translocation |
| appearance as argument number 2 |
|
|
| 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 20196-20206 | If X is an instance of trespassing, Y is an agent of X, and Z is a patient of X, then Y doesn't possess Z and the statement Y is located at Z has the modal force of illegal |
| (=> (and (instance ?T Trespassing) (patient ?T ?P)) (instance ?P RealEstate)) |
FinancialOntology.kif 1410-1414 | If X is an instance of trespassing and Y is a patient of X, then Y is an instance of real estate |
|
