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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - side
side

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2847-2848
No TPTP formula. May not be expressible in strict first order. Merge.kif 9778-9779
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1591-1592
No TPTP formula. May not be expressible in strict first order. Merge.kif 9775-9775 Le nombre 1 argument de side est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order. Merge.kif 9776-9776 Le nombre 2 argument de side est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order. Merge.kif 9774-9774 side est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 9773-9773 side est une sous-relation de superficialPart

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 387-387
No TPTP formula. May not be expressible in strict first order. english_format.kif 393-393
No TPTP formula. May not be expressible in strict first order. french_format.kif 222-222
No TPTP formula. May not be expressible in strict first order. relations-it.txt 262-262
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2028-2028
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 174-174
No TPTP formula. May not be expressible in strict first order. relations-de.txt 519-519
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 299-299
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 242-242
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 239-239
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 454-454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52936-52936
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 388-388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52935-52935
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52934-52934

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5823-5837
No TPTP formula. May not be expressible in strict first order. Geography.kif 4165-4169
No TPTP formula. May not be expressible in strict first order. Geography.kif 4176-4180
No TPTP formula. May not be expressible in strict first order. Merge.kif 9781-9788
No TPTP formula. May not be expressible in strict first order. Merge.kif 9805-9810
No TPTP formula. May not be expressible in strict first order. Merge.kif 9790-9795

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2775-2788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2796-2809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4471-4479
No TPTP formula. May not be expressible in strict first order. Merge.kif 910-912
No TPTP formula. May not be expressible in strict first order. Merge.kif 891-893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26042-26047
No TPTP formula. May not be expressible in strict first order. Merge.kif 9797-9803


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