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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadarReconnaissance
RadarReconnaissance(radar reconnaissance)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 825-827
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8674-8674
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9575-9575
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9580-9580
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9576-9576
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9577-9577
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9578-9578
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 824-824 Radar reconnaissance is a subclass of reconnaissance operation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48428-48428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48427-48427
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48426-48426

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 831-836


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