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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Selling
Selling(出售)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3109-3110
No TPTP formula. May not be expressible in strict first order. Merge.kif 11902-11903
No TPTP formula. May not be expressible in strict first order. Merge.kif 11901-11901 出售金融交易subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11891-11891 购买出售 是 内部相关
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 328-328 Auctioning出售subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1143-1143
No TPTP formula. May not be expressible in strict first order. english_format.kif 1503-1503
No TPTP formula. May not be expressible in strict first order. french_format.kif 821-821
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 353-353
No TPTP formula. May not be expressible in strict first order. terms-it.txt 356-356
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2505-2505
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 773-773
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 358-358
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 842-842
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 357-357

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2999-3026
No TPTP formula. May not be expressible in strict first order. Merge.kif 11933-11937
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1822-1839

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3276-3280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3591
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3593-3603
No TPTP formula. May not be expressible in strict first order. Merge.kif 11905-11916
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2768-2780
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3507
No TPTP formula. May not be expressible in strict first order. naics.kif 50-72
No TPTP formula. May not be expressible in strict first order. naics.kif 7953-7978
No TPTP formula. May not be expressible in strict first order. naics.kif 2194-2210
No TPTP formula. May not be expressible in strict first order. naics.kif 1837-1855
No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 3125-3141
No TPTP formula. May not be expressible in strict first order. naics.kif 7509-7521
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 1080-1095
No TPTP formula. May not be expressible in strict first order. naics.kif 8736-8756
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. naics.kif 7186-7198
No TPTP formula. May not be expressible in strict first order. naics.kif 4225-4241
No TPTP formula. May not be expressible in strict first order. naics.kif 7319-7333
No TPTP formula. May not be expressible in strict first order. naics.kif 1361-1377
No TPTP formula. May not be expressible in strict first order. naics.kif 7125-7137
No TPTP formula. May not be expressible in strict first order. naics.kif 5994-6010

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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