Furniture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Furniture

Furniture

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3714-3714	Furniture e' disjunto de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3710-3710	Furniture e' disjunto de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3711-3711	Furniture e' disjunto de Maquina
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3712-3712	Furniture e' disjunto de Veiculo de Transporte
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3713-3713	Furniture e' disjunto de Arma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3692-3696
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 450-450
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 429-429
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3690-3690	Furniture e' uma sub-classe de Artefato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1756-1756	industryProductType FurnitureManufacturing and Furniture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3769-3769	Bed e' uma sub-classe de Furniture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4149-4149	ChestOrCabinet e' uma sub-classe de Furniture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3716-3716	Seat e' uma sub-classe de Furniture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4141-4141	Table e' uma sub-classe de Furniture
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25250-25250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25249-25249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25248-25248

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3708	Objeto e' uma instancia de Furniture Objeto e' capaz de fazer Translocation no role moves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3698-3704	Fisico e' uma instancia de Furniture Fisico tem por fim FisicoL FisicoL e' uma instancia de Floor Fisico encontra FisicoL

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7125-7137	Colecao e' uma instancia de Organizacao FurnitureAndHomeFurnishingsStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Furniture Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 5994-6010	Colecao e' uma instancia de Organizacao FurnitureAndRelatedProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Furniture Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1559-1564	Objeto e' uma instancia de Shelf Objeto Objeto e' uma instancia de Furniture Objeto e' uma &parte de Objeto

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