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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exhaustiveAttribute
exhaustiveAttribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1507-1510
No TPTP formula. May not be expressible in strict first order. Merge.kif 491-495
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 71-75
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 82-86
No TPTP formula. May not be expressible in strict first order. Merge.kif 489-489 O argumento numero 2 de exhaustiveAttribute e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order. Merge.kif 488-488 O argumento numero 1 de exhaustiveAttribute e' uma sub-classe de Atributo
No TPTP formula. May not be expressible in strict first order. Merge.kif 486-486 exhaustiveAttribute e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order. Merge.kif 487-487 exhaustiveAttribute e' uma instancia de Relacao de aridade variavel

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3342-3342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3341-3341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3340-3340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22768-22768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22767-22767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22766-22766

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 503-507
No TPTP formula. May not be expressible in strict first order. Merge.kif 497-501
No TPTP formula. May not be expressible in strict first order. Merge.kif 519-531
No TPTP formula. May not be expressible in strict first order. Merge.kif 509-517

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 18157-18157 exhaustiveAttribute Atributo de Animacao, Living and Dead
No TPTP formula. May not be expressible in strict first order. emotion.kif 285-286 exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences, AppraisalAsAvoidableConsequences and AppraisalAsUnavoidableConsequences
No TPTP formula. May not be expressible in strict first order. emotion.kif 596-598 exhaustiveAttribute AppraisalOfCausalAgency, AppraisalAsCausedSupernaturally, AppraisalAsCausedBySelf, AppraisalAsCausedByChance and AppraisalAsCausedByAnother
No TPTP formula. May not be expressible in strict first order. emotion.kif 671-672 exhaustiveAttribute AppraisalOfCausalIntent, AppraisalAsUnintended and AppraisalAsDeliberate
No TPTP formula. May not be expressible in strict first order. emotion.kif 461-462 exhaustiveAttribute AppraisalOfCongruenceWithIdeals, AppraisalAsCongruentWithIdeals and AppraisalAsNotCongruentWithIdeals
No TPTP formula. May not be expressible in strict first order. emotion.kif 552-553 exhaustiveAttribute AppraisalOfDangerousness, AppraisalAsNotDangerous and AppraisalAsDangerous
No TPTP formula. May not be expressible in strict first order. emotion.kif 397-398 exhaustiveAttribute AppraisalOfDesirabilityOfConsequences, AppraisalAsDesirableConsequences and AppraisalAsUndesirableConsequences
No TPTP formula. May not be expressible in strict first order. emotion.kif 529-530 exhaustiveAttribute AppraisalOfExpectedness, AppraisalAsExpected and AppraisalAsNotExpected
No TPTP formula. May not be expressible in strict first order. emotion.kif 314-315 exhaustiveAttribute AppraisalOfFamiliarity, AppraisalAsFamiliar and AppraisalAsNotFamiliar
No TPTP formula. May not be expressible in strict first order. emotion.kif 213-214 exhaustiveAttribute AppraisalOfGoalImportance, EvaluationAsImportantToGoals and EvaluationAsNotImportantToGoals
No TPTP formula. May not be expressible in strict first order. emotion.kif 337-338 exhaustiveAttribute AppraisalOfJusticeOfTreatment, AppraisalAsUnjustTreatment and AppraisalAsJustTreatment
No TPTP formula. May not be expressible in strict first order. emotion.kif 495-496 exhaustiveAttribute AppraisalOfPleasantness, AppraisalAsPleasant and AppraisalAsUnpleasant
No TPTP formula. May not be expressible in strict first order. emotion.kif 240-241 exhaustiveAttribute AppraisalOfPredictability, AppraisalAsPredictable and AppraisalAsNotPredictable
No TPTP formula. May not be expressible in strict first order. emotion.kif 640-642 exhaustiveAttribute AppraisalOfSocialAttention, AppraisalAsBeingAtTheCentreOfAttention and AppraisalAsNotBeingAtTheCentreOfAttention
No TPTP formula. May not be expressible in strict first order. emotion.kif 575-576 exhaustiveAttribute AppraisalOfSuddenness, AppraisalAsSudden and AppraisalAsNotSudden
No TPTP formula. May not be expressible in strict first order. emotion.kif 427-428 exhaustiveAttribute AppraisalOfUrgency, AppraisalAsNotUrgentResponse and AppraisalAsUrgentResponse
No TPTP formula. May not be expressible in strict first order. Merge.kif 18215-18215 exhaustiveAttribute Atributo Desenvolvimental, FullyFormed and NonFullyFormed
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1831-1831 exhaustiveAttribute LiquidityAttribute, HighLiquidity and LowLiquidity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17622-17622 exhaustiveAttribute Estado Fisico, Solid, Liquid, Gas and Plasma
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1851-1851 exhaustiveAttribute RiskAttribute, HighRisk and LowRisk
No TPTP formula. May not be expressible in strict first order. Merge.kif 18184-18184 exhaustiveAttribute Atributo Sexual, Female, Male and NonBinaryGender
No TPTP formula. May not be expressible in strict first order. Geography.kif 4069-4069 exhaustiveAttribute VolcanoStatus, VolcanicallyActive, VolcanicallyDormant and VolcanicallyExtinct
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1869-1869 exhaustiveAttribute YieldAttribute, HighYield and LowYield


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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