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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - properlyFills
properlyFills

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2874-2879
No TPTP formula. May not be expressible in strict first order. Merge.kif 1005-1012
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1621-1627
No TPTP formula. May not be expressible in strict first order. Merge.kif 1002-1002 O argumento numero 1 de properlyFills e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 1003-1003 O argumento numero 2 de properlyFills e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order. Merge.kif 1000-1000 properlyFills e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 1001-1001 properlyFills e' uma sub-relacao de partiallyFills

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 385-385
No TPTP formula. May not be expressible in strict first order. english_format.kif 391-391
No TPTP formula. May not be expressible in strict first order. french_format.kif 221-221
No TPTP formula. May not be expressible in strict first order. relations-it.txt 233-233
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2027-2027
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 173-173
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 228-228
No TPTP formula. May not be expressible in strict first order. relations-de.txt 516-516
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 271-271
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 241-241
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 238-238
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 425-425
No TPTP formula. May not be expressible in strict first order. Merge.kif 10058-10058 fills e' uma sub-relacao de properlyFills
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 386-386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47794-47794
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47793-47793
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47792-47792

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1035-1039
No TPTP formula. May not be expressible in strict first order. Merge.kif 10082-10086
No TPTP formula. May not be expressible in strict first order. Merge.kif 10030-10035

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10094-10098
No TPTP formula. May not be expressible in strict first order. Merge.kif 1028-1033
No TPTP formula. May not be expressible in strict first order. Merge.kif 14170-14177


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