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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Crystal

Sigma KEE - Crystal
Crystalبِلّوْر,

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


(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructureSubstance。") Geography.kif 6460-6461
(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.") Geography.kif 6457-6458
(subclass Crystal Substance) Geography.kif 6463-6463

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


(subclass Snowflake Crystal) Weather.kif 1466-1466
(termFormat ChineseLanguage Crystal "水晶") Geography.kif 6467-6467
(termFormat EnglishLanguage Crystal "crystal") Geography.kif 6465-6465

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


(=>
    (and
        (instance ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?Sub Substance)
        (attribute ?Sub Solid)
        (attribute ?Sub PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?Sub)
        (not
            (part ?C ?S)))
    (exists (?CLNT)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))
Geography.kif 6495-6515


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners