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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - parent
parent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3689-3690
No TPTP formula. May not be expressible in strict first order. Merge.kif 16367-16369
No TPTP formula. May not be expressible in strict first order. Merge.kif 16365-16365 父母 的 1 数量 是 生物instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16366-16366 父母 的 2 数量 是 生物instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16362-16362 父母非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16360-16360 父母二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16363-16363 父母非传递关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16364-16364 父母总值关系instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 523-523
No TPTP formula. May not be expressible in strict first order. english_format.kif 528-528
No TPTP formula. May not be expressible in strict first order. french_format.kif 309-309
No TPTP formula. May not be expressible in strict first order. relations-it.txt 209-209
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2077-2077
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 261-261
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 315-315
No TPTP formula. May not be expressible in strict first order. relations-de.txt 680-680
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 247-247
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 330-330
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 337-337
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 400-400
No TPTP formula. May not be expressible in strict first order. Merge.kif 16437-16437 女儿父母subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16448-16448 儿子父母subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44430-44430
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 524-524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44429-44429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44428-44428
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 401-401

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10363-10369
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. Merge.kif 16487-16491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23027-23031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23033-23037
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23021-23025
No TPTP formula. May not be expressible in strict first order. Merge.kif 16386-16394
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1890-1900
No TPTP formula. May not be expressible in strict first order. Merge.kif 16379-16384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23186-23202
No TPTP formula. May not be expressible in strict first order. Merge.kif 16471-16479
No TPTP formula. May not be expressible in strict first order. Merge.kif 16481-16485
No TPTP formula. May not be expressible in strict first order. Merge.kif 16371-16373
No TPTP formula. May not be expressible in strict first order. Merge.kif 16375-16377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 413-415

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23046-23051 女人 人类aunt 若且唯若 有存在 另一个 人类 这样 那个 女人那个 另外 人类sister那个 另外 人类那个 人类parent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23137-23142 人类uncle 若且唯若 有存在 另一个 人类 这样 那个 人那个 另外 人类brother那个 另外 人类那个 人类parent
No TPTP formula. May not be expressible in strict first order. Merge.kif 10316-10321
No TPTP formula. May not be expressible in strict first order. Merge.kif 16481-16485
No TPTP formula. May not be expressible in strict first order. Merge.kif 16291-16299
No TPTP formula. May not be expressible in strict first order. Merge.kif 16301-16308
No TPTP formula. May not be expressible in strict first order. Merge.kif 16422-16424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23083-23088
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23095-23100
No TPTP formula. May not be expressible in strict first order. Merge.kif 16396-16399
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1872-1881
No TPTP formula. May not be expressible in strict first order. Merge.kif 16405-16407


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