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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ObjectiveNorm

 Sigma KEE - ObjectiveNorm
ObjectiveNorm(norme objective)

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 17403-17405
No TPTP formula. May not be expressible in strict first order. Merge.kif 17402-17402 Norme objective est une sous-classe de attribut normatif

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17345-17345 Attribut subjectif est disjoint de norme objective
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3013-3013 NSFW est une instance de norme objective
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26137-26137 WheelchairAccessible est une instance de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 17426-17426 Alethic attribute est une sous-classe de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 17407-17407 Attribut r�sultant d'un affrontement est une sous-classe de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 17489-17489 Deontic attribute est une sous-classe de norme objective
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1827-1827 DeviceAttribute est une sous-classe de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 17541-17541 ProbabilityAttribute est une sous-classe de norme objective
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 Le nombre 3 argument de confersNorm est une instance de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 4016-4016 Le nombre 3 argument de deprivesNorm est une instance de norme objective


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