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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StrictnessAttribute

Sigma KEE - StrictnessAttribute
StrictnessAttribute

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1548-1551
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1547-1547 StrictnessAttribute e' uma sub-classe de TimingRequirementAttribute

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1565-1565 FirmStrictness e' uma sub-classe de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1561-1561 HardStrictness e' uma sub-classe de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1589-1589 HybridStrictness e' uma sub-classe de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1577-1577 ImportanceStrictness e' uma sub-classe de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1570-1570 SoftStrictness e' uma sub-classe de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1582-1582 UtilityStrictness e' uma sub-classe de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55632-55632
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55631-55631
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55630-55630

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1556-1556 O argumento numero 2 de strictness e' uma instancia de StrictnessAttribute


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