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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 4399-4401
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 804-806
No TPTP formula. May not be expressible in strict first order. Merge.kif 4394-4394 The number 1 argument of prevents is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4395-4395 The number 2 argument of prevents is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4392-4392 prevents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4393-4393 prevents is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4397-4397 prevents is internally related to hinders
No TPTP formula. May not be expressible in strict first order. Merge.kif 4396-4396 prevents is internally related to prevents subclass

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 222-222
No TPTP formula. May not be expressible in strict first order. french_format.kif 130-130
No TPTP formula. May not be expressible in strict first order. relations-it.txt 229-229
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1959-1959
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 82-82
No TPTP formula. May not be expressible in strict first order. relations-de.txt 287-287
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 267-267
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 149-149
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 135-135
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 421-421
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47278-47278
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 47277-47277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47276-47276
No TPTP formula. May not be expressible in strict first order. terms-de.txt 92-92

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4403-4413

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23418-23437
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1478-1488
No TPTP formula. May not be expressible in strict first order. Cars.kif 3508-3537
No TPTP formula. May not be expressible in strict first order. Cars.kif 3450-3478
No TPTP formula. May not be expressible in strict first order. Cars.kif 3592-3613
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32641-32661
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 2193-2203
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2032-2042
No TPTP formula. May not be expressible in strict first order. Cars.kif 3543-3570
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 1689-1709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19992-20013
No TPTP formula. May not be expressible in strict first order. Cars.kif 3416-3434
No TPTP formula. May not be expressible in strict first order. Cars.kif 3736-3765


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