Iceberg - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Iceberg

Iceberg(iceberg)

more pictures...

berg, growler, iceberg

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4969-4970
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4966-4968
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 659-659
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 662-662
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 660-660
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 654-654
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 657-657
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 899-899
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 663-663
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 658-658
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 655-655
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 656-656
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 862-862
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4962-4962	Iceberg is a subclass of ice
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4963-4963	Iceberg is a subclass of self connected object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4918-4918	Iceberg is a &aturalHazardTypeInArea$"natural" hazard type in area of southern ocean
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29132-29132	Iceberg is a &aturalHazardTypeInArea$"natural" hazard type in area of southern ocean
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29131-29131	Iceberg is a &aturalHazardTypeInArea$"natural" hazard type in area of southern ocean
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29130-29130	Iceberg is a &aturalHazardTypeInArea$"natural" hazard type in area of southern ocean

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4991-4995	If a physical is an instance of iceberg and an object is an instance of water vehicle, then the physical is hazardous to the object.
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4982-4989	If an object is an instance of iceberg, then there exist another object and a third object such that the other object is an instance of ice and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4972-4980	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical

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