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 17452-17454
No TPTP formula. May not be expressible in strict first order. Merge.kif 17451-17451 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 17394-17394 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 26182-26182 WheelchairAccessible est une instance de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 17475-17475 Alethic attribute est une sous-classe de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 17456-17456 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 17538-17538 Deontic attribute est une sous-classe de norme objective
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1820-1820 DeviceAttribute est une sous-classe de norme objective
No TPTP formula. May not be expressible in strict first order. Merge.kif 17590-17590 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 3995-3995 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 4017-4017 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