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

Formal Language: 



KB Term:  Term intersection
English Word: 

  prevents

Sigma KEE - prevents
prevents

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2148-2150
No TPTP formula. May not be expressible in strict first order. Merge.kif 4211-4213
No TPTP formula. May not be expressible in strict first order. Merge.kif 4206-4206 The number 1 argument of prevents is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4207-4207 The number 2 argument of prevents is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4203-4203 prevents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4204-4204 prevents is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4205-4205 prevents is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4209-4209 prevents is internally related to hinders
No TPTP formula. May not be expressible in strict first order. Merge.kif 4208-4208 prevents is internally related to preventsSubclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order. english_format.kif 225-225
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47204-47204
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47203-47203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47202-47202

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4215-4225

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19605-19624
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2156-2165
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2174-2184
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2013-2023
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1459-1469
No TPTP formula. May not be expressible in strict first order. Cars.kif 3423-3453
No TPTP formula. May not be expressible in strict first order. Cars.kif 3460-3486
No TPTP formula. May not be expressible in strict first order. Military.kif 89-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1873-1893
No TPTP formula. May not be expressible in strict first order. Cars.kif 3364-3393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16113-16134
No TPTP formula. May not be expressible in strict first order. Cars.kif 3507-3529
No TPTP formula. May not be expressible in strict first order. Cars.kif 3330-3348
No TPTP formula. May not be expressible in strict first order. Cars.kif 3650-3679


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