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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Furniture
Furniture(furniture)
article_of_furniture, bedroom_furniture, bookcase, dining-room_furniture, furniture, lawn_furniture, piece_of_furniture, sectional, sleeper

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3714-3714 Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3710-3710 Furniture is disjoint from engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3711-3711 Furniture is disjoint from machine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3712-3712 Furniture is disjoint from transportation device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3713-3713 Furniture is disjoint from weapon
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 is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1756-1756 Furniture is an industry product type of furniture manufacturing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3769-3769 Bed is a subclass of furniture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4149-4149 Chest or cabinet is a subclass of furniture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3716-3716 Seat is a subclass of furniture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4141-4141 Table is a subclass of 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3698-3704

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7125-7137
No TPTP formula. May not be expressible in strict first order. naics.kif 5994-6010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1559-1564


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