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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersRight
confersRight

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17834-17836
No TPTP formula. May not be expressible in strict first order. Merge.kif 17831-17833
No TPTP formula. May not be expressible in strict first order. Merge.kif 17828-17828 The number 1 argument of confers right is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 17829-17829 The number 2 argument of confers right is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17830-17830 The number 3 argument of confers right is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17827-17827 confers right is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order. english_format.kif 128-128
No TPTP formula. May not be expressible in strict first order. Merge.kif 17857-17857 confers obligation is internally related to confers right
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3186-3186 "confers right" is the printable form of confers right in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 715-720
No TPTP formula. May not be expressible in strict first order. Merge.kif 17838-17840

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3132-3142
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13847-13858
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16211-16223
No TPTP formula. May not be expressible in strict first order. naics.kif 7962-7987
No TPTP formula. May not be expressible in strict first order. naics.kif 8661-8681
No TPTP formula. May not be expressible in strict first order. naics.kif 8390-8413
No TPTP formula. May not be expressible in strict first order. naics.kif 8632-8652
No TPTP formula. May not be expressible in strict first order. naics.kif 8043-8068
No TPTP formula. May not be expressible in strict first order. naics.kif 8453-8474
No TPTP formula. May not be expressible in strict first order. naics.kif 8269-8289
No TPTP formula. May not be expressible in strict first order. naics.kif 8178-8200
No TPTP formula. May not be expressible in strict first order. naics.kif 8701-8722
No TPTP formula. May not be expressible in strict first order. naics.kif 8089-8114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16178-16184
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 473-486
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 523-536
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-119
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2294-2313
No TPTP formula. May not be expressible in strict first order. Law.kif 382-384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28042-28062

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners