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

Formal Language: 



KB Term:  Term intersection
English Word: 

  humanName

 Sigma KEE - humanName
humanName

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3422-3424
No TPTP formula. May not be expressible in strict first order. Media.kif 3419-3419 域 humanName, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Media.kif 3420-3420 域 humanName, 2 and Human
No TPTP formula. May not be expressible in strict first order. Media.kif 3418-3418 例 humanName and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Media.kif 3417-3417 例 humanName and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3421-3421 子關係 humanName and agentName

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3678-3678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3677-3677
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3676-3676
No TPTP formula. May not be expressible in strict first order. Media.kif 3425-3425 子關係 姓 and humanName
No TPTP formula. May not be expressible in strict first order. Media.kif 3426-3426 子關係 給予的名稱 and humanName
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65857-65857

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3434-3439
No TPTP formula. May not be expressible in strict first order. Media.kif 3443-3448

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3428-3432


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