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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmphibiousReconnaissance
AmphibiousReconnaissance(amphibious reconnaissance)

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 766-769
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9883-9883
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10403-10403
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 765-765 Amphibious 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 7272-7272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7271-7271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7270-7270

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 782-790
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 773-778

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 800-806


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