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

Formal Language: 



KB Term:  Term intersection
English Word: 

  inhibits

Sigma KEE - inhibits
inhibits

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18360-18364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18366-18366 抑制, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18367-18367 域子類 抑制, 2 and Process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18365-18365 抑制 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 215-215
No TPTP formula. May not be expressible in strict first order. english_format.kif 216-216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18369-18369
No TPTP formula. May not be expressible in strict first order. french_format.kif 127-127
No TPTP formula. May not be expressible in strict first order. relations-it.txt 144-144
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1956-1956
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 79-79
No TPTP formula. May not be expressible in strict first order. relations-de.txt 278-278
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 183-183
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 146-146
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 132-132
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 292-292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30103-30103
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30102-30102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30101-30101
No TPTP formula. May not be expressible in strict first order. terms-de.txt 89-89
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 293-293

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18371-18376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18378-18387

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