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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fills
fills

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2885-2889
No TPTP formula. May not be expressible in strict first order. Merge.kif 10027-10030
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1633-1636
No TPTP formula. May not be expressible in strict first order. Merge.kif 10023-10023 The number 1 argument of fills is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10024-10024 The number 2 argument of fills is an instance of hole
No TPTP formula. May not be expressible in strict first order. Merge.kif 10020-10020 fills is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10025-10025 fills is internally related to fillable
No TPTP formula. May not be expressible in strict first order. Merge.kif 10021-10021 fills is a subrelation of completely fills
No TPTP formula. May not be expressible in strict first order. Merge.kif 10022-10022 fills is a subrelation of properly fills

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 379-379
No TPTP formula. May not be expressible in strict first order. english_format.kif 385-385
No TPTP formula. May not be expressible in strict first order. french_format.kif 218-218
No TPTP formula. May not be expressible in strict first order. relations-it.txt 110-110
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2024-2024
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 170-170
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 225-225
No TPTP formula. May not be expressible in strict first order. relations-de.txt 507-507
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 150-150
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 238-238
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 235-235
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 230-230
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 380-380
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23678-23678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23677-23677
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23676-23676
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 231-231

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10052-10056
No TPTP formula. May not be expressible in strict first order. Merge.kif 10032-10037
No TPTP formula. May not be expressible in strict first order. Merge.kif 10058-10062
No TPTP formula. May not be expressible in strict first order. Merge.kif 9956-9959

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1646-1652
No TPTP formula. May not be expressible in strict first order. Merge.kif 10013-10018
No TPTP formula. May not be expressible in strict first order. Merge.kif 9994-9999


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