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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecurityPatrol
  Detaching

 Sigma KEE - SecurityPatrol
SecurityPatrol

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


(subclass SecurityPatrol Patrol) MilitaryProcesses.kif 2690-2690 子類 SecurityPatrol and 巡邏
(subclass SecurityPatrol SecurityOperation) MilitaryProcesses.kif 2689-2689 子類 SecurityPatrol and 安全行動


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