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

Formal Language: 



KB Term:  Term intersection
English Word: 

  eventPartlyLocated

Sigma KEE - eventPartlyLocated
eventPartlyLocated

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2113-2114
No TPTP formula. May not be expressible in strict first order. Merge.kif 4099-4100
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 765-766
No TPTP formula. May not be expressible in strict first order. Merge.kif 4096-4096 eventPartlyLocated 的 1 数量 是 过程instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4097-4097 eventPartlyLocated 的 2 数量 是 客体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4089-4089 eventPartlyLocated格角色instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4090-4090 eventPartlyLocated部分值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4117-4117 eventPartlyLocated参与活动subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3330-3330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3329-3329
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3328-3328
No TPTP formula. May not be expressible in strict first order. Merge.kif 4119-4119 eventLocatedeventPartlyLocatedsubrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11074-11074 路径eventPartlyLocatedsubrelation
No TPTP formula. May not be expressible in strict first order. english_format.kif 1843-1843

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 477-483
No TPTP formula. May not be expressible in strict first order. Merge.kif 4102-4107
No TPTP formula. May not be expressible in strict first order. Merge.kif 4092-4094

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3710-3751
No TPTP formula. May not be expressible in strict first order. Weather.kif 115-123
No TPTP formula. May not be expressible in strict first order. Merge.kif 4113-4115
No TPTP formula. May not be expressible in strict first order. Merge.kif 4109-4111
No TPTP formula. May not be expressible in strict first order. Weather.kif 178-186


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