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 The number 1 argument of event partly located is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4097-4097 The number 2 argument of event partly located is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4089-4089 event partly located is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 4090-4090 event partly located is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4117-4117 event partly located is a subrelation of involved in event

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 event located is a subrelation of event partly located
No TPTP formula. May not be expressible in strict first order. Merge.kif 11074-11074 path is a subrelation of event partly located
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