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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Set
Set(Conjunto)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1811-1815
No TPTP formula. May not be expressible in strict first order. Merge.kif 2150-2157
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 428-433
No TPTP formula. May not be expressible in strict first order. Merge.kif 2148-2148 Conjunto e' uma sub-classe de Conjunto ou Classe

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


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 4276-4276 O contra-dominio de PropertyFn e' uma instancia de Conjunto
No TPTP formula. May not be expressible in strict first order. Merge.kif 5538-5538 Conjunto Finito e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order. Merge.kif 5528-5528 NonNullSet e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order. Merge.kif 5517-5517 NullSet e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order. engineering.kif 205-205 SetOfEquations e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 887-887
No TPTP formula. May not be expressible in strict first order. english_format.kif 976-976
No TPTP formula. May not be expressible in strict first order. french_format.kif 563-563
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 93-93
No TPTP formula. May not be expressible in strict first order. terms-it.txt 96-96
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2248-2248
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 515-515
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 98-98
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 130-130
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 584-584
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 97-97

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5416-5416 O argumento numero 2 de element e' uma instancia de Conjunto
No TPTP formula. May not be expressible in strict first order. Merge.kif 5394-5394 O argumento numero 1 de Subconjunto e' uma instancia de Conjunto
No TPTP formula. May not be expressible in strict first order. Merge.kif 5395-5395 O argumento numero 2 de Subconjunto e' uma instancia de Conjunto

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12092-12108
No TPTP formula. May not be expressible in strict first order. Merge.kif 12060-12072
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31348-31355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31211-31216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31136-31141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31189-31194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31115-31120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31084-31089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31035-31040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31240-31245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31380-31385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31262-31267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31305-31310
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31103-31108

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30054-30084


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