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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SetOrClass

Sigma KEE - SetOrClass
SetOrClass(Conjunto ou Classe)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1804-1805
No TPTP formula. May not be expressible in strict first order. Merge.kif 2131-2133
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 419-420
No TPTP formula. May not be expressible in strict first order. Merge.kif 2129-2129 O conceito Conjunto ou Classe e' completamente decomposto em Conjunto + Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 2128-2128 Conjunto ou Classe e' uma sub-classe de Abstrato

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5478-5478 O contra-dominio de ComplementFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5499-5499 O contra-dominio de GeneralizedIntersectionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5488-5488 O contra-dominio de GeneralizedUnionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5457-5457 O contra-dominio de IntersectionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5468-5468 O contra-dominio de RelativeComplementFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5431-5431 O contra-dominio de UnionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 798-798 Os valores retornados por PowerSetFn sao as sub-classes de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 2136-2136 Classe e' uma sub-classe de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 2148-2148 Conjunto e' uma sub-classe de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 885-885
No TPTP formula. May not be expressible in strict first order. english_format.kif 972-972
No TPTP formula. May not be expressible in strict first order. french_format.kif 561-561
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 91-91
No TPTP formula. May not be expressible in strict first order. terms-it.txt 94-94
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2246-2246
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 513-513
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 128-128
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 582-582
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 95-95

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5477-5477 O argumento numero 1 de ComplementFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5455-5455 O argumento numero 1 de IntersectionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5456-5456 O argumento numero 2 de IntersectionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 797-797 O argumento numero 1 de PowerSetFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5466-5466 O argumento numero 1 de RelativeComplementFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5467-5467 O argumento numero 2 de RelativeComplementFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5429-5429 O argumento numero 1 de UnionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5430-5430 O argumento numero 2 de UnionFn e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Hotel.kif 937-937 O argumento numero 2 de adjacentOrientation e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Government.kif 436-436 O argumento numero 1 de cardinality e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. engineering.kif 39-39 O argumento numero 1 de lexicon e' uma instancia de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5498-5498 O argumento numero 1 de GeneralizedIntersectionFn e' uma sub-classe de Conjunto ou Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 5487-5487 O argumento numero 1 de GeneralizedUnionFn e' uma sub-classe de Conjunto ou Classe

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


No TPTP formula. May not be expressible in strict first order. Government.kif 446-450

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2137-2150
No TPTP formula. May not be expressible in strict first order. Media.kif 2210-2223
No TPTP formula. May not be expressible in strict first order. Media.kif 2174-2187

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5508-5508 O argumento numero 1 de CardinalityFn e' uma instancia de a uniao de Conjunto ou Classe e Colecao


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