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 17696-17698
No TPTP formula. May not be expressible in strict first order. Merge.kif 17693-17695
No TPTP formula. May not be expressible in strict first order. Merge.kif 17690-17690 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 17691-17691 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 17692-17692 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 17689-17689 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. french_format.kif 121-121
No TPTP formula. May not be expressible in strict first order. relations-it.txt 51-51
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 73-73
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 71-71
No TPTP formula. May not be expressible in strict first order. relations-de.txt 261-261
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 85-85
No TPTP formula. May not be expressible in strict first order. Merge.kif 17719-17719 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
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 521-521 "«يَسْمَح بـ تَنْفِيذ مَهَمَّة مِن النَّوع»" is the printable form of confers right in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 119-119 "nakikipaghirap nagpapahintulot" is the printable form of confers right in tg

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. TravelPolicies.kif 199-204
No TPTP formula. May not be expressible in strict first order. Merge.kif 17700-17702

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 3104-3114
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 13587-13598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15880-15892
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 15847-15853
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 27601-27621

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