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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - partiallyFills
partiallyFills

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2869-2873
No TPTP formula. May not be expressible in strict first order. Merge.kif 10118-10123
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1616-1620
No TPTP formula. May not be expressible in strict first order. Merge.kif 10115-10115 The number 1 argument of partially fills is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 10116-10116 The number 2 argument of partially fills is an instance of hole
No TPTP formula. May not be expressible in strict first order. Merge.kif 10114-10114 partially fills is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10113-10113 partially fills is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10112-10112 partially fills is a subrelation of located

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 383-383
No TPTP formula. May not be expressible in strict first order. english_format.kif 389-389
No TPTP formula. May not be expressible in strict first order. french_format.kif 220-220
No TPTP formula. May not be expressible in strict first order. relations-it.txt 211-211
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2026-2026
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 172-172
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 227-227
No TPTP formula. May not be expressible in strict first order. relations-de.txt 513-513
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 249-249
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 240-240
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 237-237
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 403-403
No TPTP formula. May not be expressible in strict first order. Merge.kif 10142-10142 completely fills is a subrelation of partially fills
No TPTP formula. May not be expressible in strict first order. Merge.kif 1011-1011 properly fills is a subrelation of partially fills
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 384-384 properly fills is a subrelation of partially fills
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44534-44534 properly fills is a subrelation of partially fills
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44533-44533 properly fills is a subrelation of partially fills
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44532-44532 properly fills is a subrelation of partially fills
No TPTP formula. May not be expressible in strict first order. terms-de.txt 160-160 properly fills is a subrelation of partially fills

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10125-10130

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Food.kif 3624-3639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2091-2098
No TPTP formula. May not be expressible in strict first order. Sports.kif 1139-1152


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