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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Trespassing

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

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18315-18316
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6930-6930
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8122-8122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18313-18313 Trespassing is a subclass of criminal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18314-18314 Trespassing is a subclass of translocation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59170-59170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59169-59169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59168-59168

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18318-18328
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1370-1374


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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