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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - successorAttributeClosure
successorAttributeClosure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1538-1540
No TPTP formula. May not be expressible in strict first order. Merge.kif 734-737
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 104-106
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 122-124
No TPTP formula. May not be expressible in strict first order. Merge.kif 730-730 O argumento numero 1 de successorAttributeClosure e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order. Merge.kif 731-731 O argumento numero 2 de successorAttributeClosure e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order. Merge.kif 726-726 successorAttributeClosure e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 728-728 successorAttributeClosure e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 729-729 successorAttributeClosure e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 727-727 successorAttributeClosure e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 732-732 successorAttributeClosure e' relacionado internamente por SUMO a successorAttribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 325-325
No TPTP formula. May not be expressible in strict first order. english_format.kif 330-330
No TPTP formula. May not be expressible in strict first order. french_format.kif 185-185
No TPTP formula. May not be expressible in strict first order. relations-it.txt 287-287
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2005-2005
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 137-137
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 196-196
No TPTP formula. May not be expressible in strict first order. relations-de.txt 428-428
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 324-324
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 205-205
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 195-195
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 479-479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55893-55893
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 326-326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55892-55892
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55891-55891

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14383-14390

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 739-741

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25735-25735 ColdTemperature e' um atributo sucessor de HotTemperature
No TPTP formula. May not be expressible in strict first order. Dining.kif 1091-1091 ConventionalAttribute e' um atributo sucessor de UnconventionalAttribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 989-989 StandardRoom e' um atributo sucessor de Suite


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