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

Formal Language: 



KB Term:  Term intersection
English Word: 

  father

 Sigma KEE - father
father

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3693-3694
No TPTP formula. May not be expressible in strict first order. Merge.kif 16428-16430
No TPTP formula. May not be expressible in strict first order. Merge.kif 16426-16426 Le nombre 1 argument de father est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16427-16427 Le nombre 2 argument de father est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16420-16420 father est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 16419-16419 father est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 16418-16418 father est une instance de relation simple

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 527-527
No TPTP formula. May not be expressible in strict first order. english_format.kif 532-532
No TPTP formula. May not be expressible in strict first order. french_format.kif 311-311
No TPTP formula. May not be expressible in strict first order. relations-it.txt 109-109
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2079-2079
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 317-317
No TPTP formula. May not be expressible in strict first order. relations-de.txt 686-686
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 149-149
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 332-332
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 341-341
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 228-228
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 528-528
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23361-23361
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23360-23360
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 229-229

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


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. Merge.kif 16432-16434

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23061-23076 cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�re de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23152-23159 stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23169-23176 stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain
No TPTP formula. May not be expressible in strict first order. Merge.kif 10336-10343
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 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. ArabicCulture.kif 666-672
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 654-660
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 606-612
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 714-720
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 630-636
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 702-708
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. ArabicCulture.kif 760-766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20164-20171
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 584-589
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 562-567


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