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

Formal Language: 



KB Term:  Term intersection
English Word: 

  side

 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 9764-9765
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 9761-9761 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 9762-9762 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 9760-9760 side est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 9759-9759 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 52934-52934
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 52933-52933
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52932-52932

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 9767-9773
No TPTP formula. May not be expressible in strict first order. Merge.kif 9775-9780
No TPTP formula. May not be expressible in strict first order. Merge.kif 9790-9796

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2782-2795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2803-2816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4476-4484
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 25997-26002
No TPTP formula. May not be expressible in strict first order. Merge.kif 9782-9788


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