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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Patrol

 Sigma KEE - Patrol
Patrol(patrol)

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 839-842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6755-6755
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7511-7511
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7512-7512
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 838-838 Patrol is a subclass of reconnaissance operation

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2690-2690 SecurityPatrol is a subclass of patrol
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44820-44820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44819-44819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44818-44818


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