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

Formal Language: 



KB Term:  Term intersection
English Word: 

  buys

Sigma KEE - buys
buys

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29951-29952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29959-29959 buys 的 1 数量 是 有认知的主事instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29960-29960 buys 的 2 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29961-29961 buys 的 3 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29950-29950 buys三元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2946-2946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2945-2945
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2944-2944
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29953-29953

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29963-29972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29974-29984
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1558-1578
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2744-2757

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30014-30020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29868-29888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29895-29915


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