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

Formal Language: 



KB Term:  Term intersection
English Word: 

  communicationSatelliteForArea
  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 17403-17405
No TPTP formula. May not be expressible in strict first order. Merge.kif 17402-17402 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 17345-17345 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 26137-26137 WheelchairAccessible e' uma instancia de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 17426-17426 Atributo Aletico e' uma sub-classe de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 17407-17407 Atributo de Competicao e' uma sub-classe de Norma Objectiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 17489-17489 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 17541-17541 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