FireProtection
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1676-1678 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1493-1496 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 267-269 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 314-317 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11885-11885 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11884-11884 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11887-11887 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11886-11886 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11883-11883 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1491-1491 | SpokenHumanLanguage est une sous-classe de langage humain |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2923-2923 | AbinomnLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2935-2935 | AinuJapaneseLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2954-2954 | AndoqueLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2968-2968 | BurmesoLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 2983-2983 | BurushaskiLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3000-3000 | BusaLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3009-3009 | CamsaLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3018-3018 | CayubabaLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1537-1537 | EnglishLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14424-14424 | FaroeseLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14999-14999 | FrenchLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15004-15004 | GermanLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3027-3027 | GilyakLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15009-15009 | GreekLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3046-3046 | ItonamaLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3055-3055 | KarkarYuriLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3066-3066 | KibiriLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3077-3077 | KoreanLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3114-3114 | KutenaiLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15013-15013 | LatinLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3128-3128 | NihaliLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3144-3144 | PankararuLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3153-3153 | PuelcheLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3161-3161 | PuinaveLanguage est une instance de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3173-3173 | PurepechaLanguage est une instance de SpokenHumanLanguage |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25781-25794 |
|