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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersNorm
confersNorm

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2103-2104
No TPTP formula. May not be expressible in strict first order. Merge.kif 3853-3855
No TPTP formula. May not be expressible in strict first order. Merge.kif 3849-3849 The number 1 argument of confers norm is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3850-3850 The number 2 argument of confers norm is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3851-3851 The number 3 argument of confers norm is an instance of objective norm
No TPTP formula. May not be expressible in strict first order. Merge.kif 3848-3848 confers norm is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3870-3870 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 520-520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 519-519
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 518-518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16501-16501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16500-16500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16499-16499

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


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. Law.kif 373-376
No TPTP formula. May not be expressible in strict first order. Law.kif 378-380
No TPTP formula. May not be expressible in strict first order. Merge.kif 3857-3867

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


No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16374-16390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14463-14474
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14208-14215
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14187-14201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2507-2516
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2556-2565
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16396-16407
No TPTP formula. May not be expressible in strict first order. naics.kif 11379-11391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14168-14180
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. Law.kif 373-376
No TPTP formula. May not be expressible in strict first order. Law.kif 378-380
No TPTP formula. May not be expressible in strict first order. Law.kif 394-396
No TPTP formula. May not be expressible in strict first order. Merge.kif 12296-12301
No TPTP formula. May not be expressible in strict first order. Merge.kif 14485-14490


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 3.0 is open source software produced by Articulate Software and its partners