Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 Military operation is a subclass of military process
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 Special operation is a subclass of military operation
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 Direct action activity is a subclass of military operation
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 Military assault is a subclass of military operation
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 Reconnaissance operation is a subclass of military operation
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1104-1104 Psychological operation is a subclass of military operation
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1502-1502 Operation planning is a subclass of military operation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1697-1697 Joint operation is a subclass of military operation
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1831-1831 Information operation is a subclass of military operation
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1886-1886 Foreign internal defense is a subclass of military operation
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2150-2150 Counter operation is a subclass of military operation
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2342-2342 Civil affairs activity is a subclass of military operation
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 Food distribution operation is a subclass of military operation
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 Security operation is a subclass of military operation


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners