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 22206-22208
No TPTP formula. May not be expressible in strict first order. Merge.kif 22203-22205
No TPTP formula. May not be expressible in strict first order. Merge.kif 22200-22200 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 22201-22201 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 22202-22202 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 22199-22199 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 282-282
No TPTP formula. May not be expressible in strict first order. english_format.kif 283-283
No TPTP formula. May not be expressible in strict first order. Merge.kif 22229-22229 confers obligation is internally related to confers right
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16519-16519 "赋予权利" is the printable form of confers right in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16518-16518 "賦予權利" is the printable form of confers right in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16517-16517 "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 22210-22212

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 13848-13859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16212-16224
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 16179-16185
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 28043-28063

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