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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Female
Female(女)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4018-4018
No TPTP formula. May not be expressible in strict first order. Merge.kif 18114-18115
No TPTP formula. May not be expressible in strict first order. Merge.kif 18113-18113 性别属性instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18125-18125 的相反
No TPTP formula. May not be expressible in strict first order. Merge.kif 18105-18105 是所有的 性别属性attributes
No TPTP formula. May not be expressible in strict first order. Government.kif 1412-1412 QueenConsortsubAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 1408-1408 QueenRegnantsubAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23492-23492
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23491-23491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23490-23490

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 206-221
No TPTP formula. May not be expressible in strict first order. Merge.kif 16493-16497
No TPTP formula. May not be expressible in strict first order. Government.kif 1267-1273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 365-370

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


No TPTP formula. May not be expressible in strict first order. People.kif 403-436 整数 yearinstance 地缘政治区域那个 年female 出生预期寿命 equal 实数 若且唯若 有存在 串列另一个 整数,, , 符号串,, , 实体,, , 另一个 实体, and 和 第三 实体 这样 那个 串列串列instance那个 串列 的长度 是 那个 另外 整数instance 和 对所有 那个 串列ITEM 那个 实数那个 串列average
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 地缘政治区域male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数那个 另外 整数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20200-20204 客体公牛instance 若且唯若 那个 客体instance那个 客体attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20232-20236 客体母鸡instance 若且唯若 那个 客体instance那个 客体attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12859-12863
No TPTP formula. May not be expressible in strict first order. Merge.kif 18117-18122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24131-24137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23880-23887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23934-23936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19844-19846
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1243-1254
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1042-1050
No TPTP formula. May not be expressible in strict first order. Merge.kif 16444-16446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24010-24017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12647-12651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10870-10877
No TPTP formula. May not be expressible in strict first order. Merge.kif 14659-14661
No TPTP formula. May not be expressible in strict first order. Merge.kif 16414-16416

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 456-469 整数 yearinstance 地缘政治区域那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量


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