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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NormativeAttribute

 Sigma KEE - NormativeAttribute
NormativeAttribute(Atributo Normativo)
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 Atributo Normativo e' uma sub-classe de Atributo Relacional

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1461-1461 DutyFree e' uma instancia de Atributo Normativo
No TPTP formula. May not be expressible in strict first order. Dining.kif 1002-1002 Organic e' uma instancia de Atributo Normativo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9310-9310 USNonPrescriptionDrug e' uma instancia de Atributo Normativo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9290-9290 USPrescriptionDrug e' uma instancia de Atributo Normativo
No TPTP formula. May not be expressible in strict first order. Merge.kif 17380-17380 Norma Objectiva e' uma sub-classe de Atributo Normativo
No TPTP formula. May not be expressible in strict first order. Merge.kif 17322-17322 Atributo Subjectivo e' uma sub-classe de Atributo Normativo
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 O argumento numero 2 de modalAttribute e' uma instancia de Atributo Normativo


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