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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NormativeAttribute

 Sigma KEE - NormativeAttribute
NormativeAttribute(attribut normatif)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3855-3856
No TPTP formula. May not be expressible in strict first order. Merge.kif 17292-17295
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11511-11511
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10151-10151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11514-11514
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11512-11512
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11513-11513
No TPTP formula. May not be expressible in strict first order. Merge.kif 17291-17291 Attribut normatif est une sous-classe de attribut relationnel

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1461-1461 DutyFree est une instance de attribut normatif
No TPTP formula. May not be expressible in strict first order. Dining.kif 1002-1002 Organic est une instance de attribut normatif
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9310-9310 USNonPrescriptionDrug est une instance de attribut normatif
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9290-9290 USPrescriptionDrug est une instance de attribut normatif
No TPTP formula. May not be expressible in strict first order. Merge.kif 17380-17380 Norme objective est une sous-classe de attribut normatif
No TPTP formula. May not be expressible in strict first order. Merge.kif 17322-17322 Attribut subjectif est une sous-classe de attribut normatif
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1241-1241
No TPTP formula. May not be expressible in strict first order. english_format.kif 1703-1703
No TPTP formula. May not be expressible in strict first order. french_format.kif 919-919
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 453-453
No TPTP formula. May not be expressible in strict first order. terms-it.txt 456-456
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2603-2603
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 871-871
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 492-492
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 940-940
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 457-457

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17303-17303 Le nombre 2 argument de modalAttribute est une instance de attribut normatif


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