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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReconnaissanceOperation
ReconnaissanceOperation

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 675-679
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8678-8678
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9583-9583
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 674-674 ReconnaissanceOperation est une sous-classe de enqu�ter
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 673-673 ReconnaissanceOperation est une sous-classe de MilitaryOperation

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 730-730 AirReconnaissance est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 765-765 AmphibiousReconnaissance est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 820-820 ContactReconnaissance est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 844-844 ElectronicReconnaissance est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 838-838 Patrol est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 824-824 RadarReconnaissance est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 706-706 ReconnaissanceByFire est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 725-725 ReconnaissanceInForce est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 19-19 SpecialReconnaissance est une sous-classe de ReconnaissanceOperation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2798-2798

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 684-690
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 694-704

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2193-2203
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 520-522


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



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