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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - penetrates
penetrates

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2129-2130
No TPTP formula. May not be expressible in strict first order. Merge.kif 4212-4214
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 784-785
No TPTP formula. May not be expressible in strict first order. Merge.kif 4208-4208 penetrates est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 4209-4209 penetrates est une instance de relation intransitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 4210-4210 penetrates est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 4207-4207 penetrates est une sous-relation de traverses

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 217-217
No TPTP formula. May not be expressible in strict first order. english_format.kif 218-218
No TPTP formula. May not be expressible in strict first order. french_format.kif 128-128
No TPTP formula. May not be expressible in strict first order. relations-it.txt 220-220
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1957-1957
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 80-80
No TPTP formula. May not be expressible in strict first order. relations-de.txt 281-281
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 258-258
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 147-147
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 133-133
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 412-412
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45020-45020
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 218-218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45019-45019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45018-45018
No TPTP formula. May not be expressible in strict first order. terms-de.txt 90-90

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4216-4218

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5811-5816
No TPTP formula. May not be expressible in strict first order. Geography.kif 5225-5230
No TPTP formula. May not be expressible in strict first order. Geography.kif 5800-5805
No TPTP formula. May not be expressible in strict first order. Merge.kif 4192-4196


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