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

Formal Language: 



KB Term:  Term intersection
English Word: 

  targetInAttack

Sigma KEE - targetInAttack
targetInAttack

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5832-5834
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5829-5829 The number 1 argument of target in attack is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5830-5830 The number 2 argument of target in attack is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5827-5827 target in attack is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5828-5828 target in attack is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5831-5831 target in attack is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2439-2439
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2438-2438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2437-2437
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56943-56943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56942-56942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56941-56941

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 468-478
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 521-531


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