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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeadFn

Sigma KEE - DeadFn
DeadFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 117-119
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 115-115 Le nombre 1 argument de DeadFn est une sous-classe de objet organique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 114-114 DeadFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 116-116 Les valeurs retourn�es par DeadFn sont des sous-classes de OrganismRemains

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3170-3170
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3169-3169
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3168-3168
No TPTP formula. May not be expressible in strict first order. Merge.kif 18238-18238 DeadOrMissingBodyPartFn est reli� � l'int�rieur de SUMO � DeadFn
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20036-20036 Fodder est reli� � l'int�rieur de SUMO � DeadFn
No TPTP formula. May not be expressible in strict first order. Economy.kif 5248-5248 OrganicObjectFn est reli� � l'int�rieur de SUMO � DeadFn
No TPTP formula. May not be expressible in strict first order. Economy.kif 4186-4186 Produce est reli� � l'int�rieur de SUMO � DeadFn
No TPTP formula. May not be expressible in strict first order. Geography.kif 6407-6407 SheddingPart est reli� � l'int�rieur de SUMO � DeadFn
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64745-64745

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 121-127
No TPTP formula. May not be expressible in strict first order. Economy.kif 4035-4040
No TPTP formula. May not be expressible in strict first order. Economy.kif 4031-4033
No TPTP formula. May not be expressible in strict first order. Economy.kif 4055-4057

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 5267-5276
No TPTP formula. May not be expressible in strict first order. Economy.kif 5485-5493
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18084-18092
No TPTP formula. May not be expressible in strict first order. Geography.kif 6425-6434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 129-137
No TPTP formula. May not be expressible in strict first order. Food.kif 1909-1915
No TPTP formula. May not be expressible in strict first order. Food.kif 3377-3383
No TPTP formula. May not be expressible in strict first order. Economy.kif 4365-4372
No TPTP formula. May not be expressible in strict first order. Food.kif 299-306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 105-107


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