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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FemaleLifeExpectancyAtBirthFn

 Sigma KEE - FemaleLifeExpectancyAtBirthFn
FemaleLifeExpectancyAtBirthFn

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


No TPTP formula. May not be expressible in strict first order. People.kif 397-400
No TPTP formula. May not be expressible in strict first order. People.kif 394-394 域 女性出生時的預期壽命, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. People.kif 395-395 域 女性出生時的預期壽命, 2 and 年
No TPTP formula. May not be expressible in strict first order. People.kif 393-393 例 女性出生時的預期壽命 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. People.kif 396-396 範圍 女性出生時的預期壽命 and RealNumber

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 999-999
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 998-998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 997-997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23498-23498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23497-23497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23496-23496

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


No TPTP formula. May not be expressible in strict first order. People.kif 403-436 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average


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