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 3997-3999
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 754-755
No TPTP formula. May not be expressible in strict first order. Merge.kif 3993-3993 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 3994-3994 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 3995-3995 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 3992-3992 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 4014-4014 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 520-520 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 519-519 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 518-518 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16587-16587 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16586-16586 deprives norm and confers norm are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16585-16585 deprives norm and confers norm are disjoint

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


No TPTP formula. May not be expressible in strict first order. Law.kif 345-347
No TPTP formula. May not be expressible in strict first order. Law.kif 336-339
No TPTP formula. May not be expressible in strict first order. Law.kif 341-343
No TPTP formula. May not be expressible in strict first order. Merge.kif 4001-4011

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20250-20266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18269-18280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17969-17976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17948-17962
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2572-2581
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2621-2630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20272-20283
No TPTP formula. May not be expressible in strict first order. naics.kif 11456-11468
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3242-3266
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3275-3299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17929-17941
No TPTP formula. May not be expressible in strict first order. Law.kif 345-347
No TPTP formula. May not be expressible in strict first order. Law.kif 336-339
No TPTP formula. May not be expressible in strict first order. Law.kif 341-343
No TPTP formula. May not be expressible in strict first order. Law.kif 357-359
No TPTP formula. May not be expressible in strict first order. Merge.kif 13385-13390
No TPTP formula. May not be expressible in strict first order. Merge.kif 15774-15779


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