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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ObjectiveNorm

 Sigma KEE - ObjectiveNorm
ObjectiveNorm(Norma Objectiva)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3882-3883
No TPTP formula. May not be expressible in strict first order. Merge.kif 17381-17383
No TPTP formula. May not be expressible in strict first order. Merge.kif 17380-17380 Norma Objectiva e' uma sub-classe de Atributo Normativo

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17323-17323 Atributo Subjectivo e' disjunto de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3013-3013 NSFW e' uma instancia de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26149-26149 WheelchairAccessible e' uma instancia de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 17404-17404 Atributo Aletico e' uma sub-classe de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 17385-17385 Atributo de Competicao e' uma sub-classe de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 17467-17467 Atributo Deontico e' uma sub-classe de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1827-1827 DeviceAttribute e' uma sub-classe de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 17519-17519 ProbabilityAttribute e' uma sub-classe de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1243-1243
No TPTP formula. May not be expressible in strict first order. english_format.kif 1707-1707
No TPTP formula. May not be expressible in strict first order. french_format.kif 921-921
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 455-455
No TPTP formula. May not be expressible in strict first order. terms-it.txt 458-458
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2605-2605
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 873-873
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 494-494
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 942-942
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 459-459

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3994-3994 O argumento numero 3 de confersNorm e' uma instancia de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 4016-4016 O argumento numero 3 de deprivesNorm e' uma instancia de Norma Objectiva


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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